If $\mu$ is not a positive measure, the statement is not true in general: If $\mu$ is a signed-measure, use the Hahn-decomposition to conclude that $\mu_{sf}(E) = \mu_{sf}^+(E)$, where $\mu^+$ denotes the positive part. Thus, we lose any information about $\mu^-$.

We know that any integrable function is already located on a $\sigma$-finite measurable subset (that follows from the Chebyshev's inequality). Note that for any set $E \in \Sigma$ with finite measure, i.e. $\mu(E) < \infty$, we have $\mu_{sf}(E) = \mu(E)$, just by definition and  monotonicity. Moreover, if $E$ is $\sigma$-finite (i.e. $E= \bigcup_{n=1}^\infty A_n$ with measurable $A_n$ satisfying $\mu(A_n) <\infty$), then also $\mu(E) = \mu_{sf}(E)$. (Proof: Taking $E_m = \bigcup_{n=1}^m A_n$ and using measure continuity, we get $\mu(E) \leq \mu_{sf}(E)$. On the other hand, we have for any measurable $A \subset E$ already $\mu(A) \leq \mu(E)$ by measure-monotonicity.)

That observation implies for any $f \in L^2(\mu)$
$$\int |f|^2 \, \rm{d} \mu = 2 \int_0^\infty x \, \mu(|f| > x) \, \rm{d} x = 2 \int_0^\infty x \, \mu_{sf}(|f| > x) \, \rm{d} x = \int |f|^2 \, \rm{d} \mu_{sf},$$
i.e. the map is well-defined and injective.

However, the map don't have to be surjective. Depending on the $\sigma$-algebra, we may have not enough measurable sets with finite-measure to cover 'large sets' which are not $\sigma$-finite. One really simple example: Let $\Sigma = \{ \emptyset, A, A^c, \Omega\}$, where $A \neq \Omega,\emptyset$, and define
$$\mu(B) = \begin{cases} 0 & \text{if } B = \emptyset \text{ or } B = A^c \\ \infty & \text{else} \end{cases}.$$ 
This is a measure on $(\Omega,\Sigma)$ such that $1_A \notin L^2(\mu)$, because $\mu(A) = \infty$, but $\mu_{sf} =0$ and hence $1_A \in L^2(\mu_{sf})$.

Comment: I don't think this question is research-level.