*001635316
*00520250613122526.0
*007ta
*008090708s2006    no            000 u eng d
*00900986cam a2200241 c 4500
*019  $bl
*020  $a8214040388$qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)990718282304702201
*035  $a(NO-LaBS)13958211(bibid)
*035  $a(NO-TrBIB)071828230
*035  $a071828230-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*1001 $aSeehusen, Fredrik$d1978-$0(NO-TrBIB)3080378$_50505200
*24510$aMaintaining information flow security under refinement andtransformation$cFredrik Seehusen and Ketil Stølen
*260  $aTrondheim$bSINTEF, ICT, Cooperative and Trusted Systems$c2006
*300  $a19 bl.$bfig.
*4901 $aSINTEF report$vSINTEF A311
*653  $aIKT$amodellering$adesign$aMDA$asikker$ainformasjonsflyt$araffinering$atransformasjon$_92535100
*7001 $aStølen, Ketil$0(NO-TrBIB)90837777$_10618600
*7102 $aSINTEF$bSamvirkende og tiltrodde systemer$0(NO-TrBIB)7079211$_66611300
*830 0$aSINTEF rapport (SINTEF : 2006- : trykt utg.)$vSINTEF A311$w990615855724702201$_13076800
*901  $a80
*999  $aoai:nb.bibsys.no:990718282304702202$b2021-11-14T20:37:37Z$z990718282304702202
^