bsc: Verify correct encryption n RSL CHAN_ACT during assignment

Change-Id: Iff77586ea39da32df570048b1d83f5a0edb5a533
diff --git a/bsc/MSC_ConnectionHandler.ttcn b/bsc/MSC_ConnectionHandler.ttcn
index c1ff963..fe524dc 100644
--- a/bsc/MSC_ConnectionHandler.ttcn
+++ b/bsc/MSC_ConnectionHandler.ttcn
@@ -544,6 +544,37 @@
 	modify_done := false
 }
 
+private template RSL_IE_Body tr_EncrInfo(template RSL_AlgId alg, template octetstring key) := {
+	encr_info := {
+		len := ?,
+		alg_id := alg,
+		key := key
+	}
+}
+
+/* ensure the RSL CHAN ACT (during assignment) contains values we expect depending on test case */
+private function f_check_chan_act(AssignmentState st, RSL_Message chan_act) runs on MSC_ConnHdlr {
+	var RSL_IE_Body encr_info;
+	if (ispresent(g_pars.encr) and g_pars.encr.enc_alg != '01'O) {
+		if (not f_rsl_find_ie(chan_act, RSL_IE_ENCR_INFO, encr_info)) {
+			setverdict(fail, "Missing Encryption IE in CHAN ACT");
+		} else {
+			var RSL_AlgId alg := f_chipher_mode_bssmap_to_rsl(g_pars.encr.enc_alg);
+			if (not match(encr_info, tr_EncrInfo(alg, g_pars.encr.enc_key))) {
+				setverdict(fail, "Wrong Encryption IE in CHAN ACT");
+			}
+		}
+	} else {
+		if (f_rsl_find_ie(chan_act, RSL_IE_ENCR_INFO, encr_info)) {
+			if (encr_info.encr_info.alg_id != RSL_ALG_ID_A5_0) {
+				setverdict(fail, "Unexpected Encryption in CHAN ACT");
+			}
+		}
+	}
+	/* FIXME: validate RSL_IE_ACT_TYPE, RSL_IE_CHAN_MODE, RSL_IE_CHAN_IDENT, RSL_IE_BS_POWER,
+	 * RSL_IE_MS_POWER, RSL_IE_TIMING_ADVANCE */
+}
+
 altstep as_assignment(inout AssignmentState st) runs on MSC_ConnHdlr {
 	var RSL_Message rsl;
 	[not st.rr_ass_cmpl_seen] RSL.receive(tr_RSL_DATA_REQ(g_chan_nr)) -> value rsl {
@@ -566,6 +597,10 @@
 			st.old_chan_nr := g_chan_nr;
 			g_chan_nr := new_chan_nr;
 			st.rr_ass_cmpl_seen := true;
+			/* obtain channel activation from RSL_Emulation for new channel */
+			var RSL_Message chan_act := f_rslem_get_last_act(RSL_PROC, 0, g_chan_nr);
+			/* check it (e.g. for correct ciphering parameters) */
+			f_check_chan_act(st, chan_act);
 			repeat;
 		} else {
 			setverdict(fail, "Unexpected L3 received", l3);
@@ -666,6 +701,12 @@
 	f_create_chan_and_exp();
 	/* we should now have a COMPL_L3 at the MSC */
 	BSSAP.receive(tr_BSSMAP_ComplL3);
+
+	/* start ciphering, if requested */
+	if (ispresent(g_pars.encr)) {
+		f_cipher_mode(g_pars.encr.enc_alg, g_pars.encr.enc_key);
+	}
+
 	f_create_mgcp_expect(mgcpcrit);
 	BSSAP.send(ass_cmd);