*0011416658 *008060817s2006 xx# 000 0 eng *019 $bk *08230$a005.8 *100 $aRosenkilde Nielsen, Christoffer$uInformatics and Mathematical Modelling, Technical University of Denmark, Kongens Lyngby, Denmark ; crn@imm.dtu.dk$_159439700 *245 $aStatic analysis for blinding *300 $aS. [98]-116 *500 $aVitenskapelig artikkel *5208 $aInneholder sammendrag *650 $adatasikkerhet$9nor$2norart$_129053600 *650 $akryptering$9nor$2norart$_129257800 *653 $aLySa$9eng$_159439800 *653 $ablinding$9eng$_159439900 *653 $aprocess algebras$9eng$_159440000 *653 $aprotocols$9eng$_158679600 *653 $astatic analysis$9eng$_159440100 *700 $aRiis Nielson, Hanne$uInformatics and Mathematical Modelling, Technical University of Denmark, Kongens Lyngby, Denmark ; riis@imm.dtu.dk$_159440200 *773 $tNordic journal of computing$gVol. 13, nr 1/2 (2006)$x1236-6064$w(NO-LaBS)69800(tnr) *999 $z600393197$anorart:600393197 ^