Modeling and verification of cryptographic protocols using coloured Petri nets and design/CPN
Issam Al-Azzoni Artikkel Engelsk
*0011405165 *008060109s2005 xx# 000 0 eng *019 $bk *100 $aAl-Azzoni, Issam$uMcMaster University, Hamilton, Ontario, Canada ; alazzoi@mcmaster.ca$_158678200 *245 $aModeling and verification of cryptographic protocols using coloured Petri nets and design/CPN *300 $aS. [201]-228 : ill. *500 $aVitenskapelig artikkel *5208 $aInneholder sammendrag *653 $acoloured Petri nets$9eng$_158678300 *653 $acryptographic protocols$9eng$_158678400 *653 $adesign/CPN$9eng$_158678500 *653 $aprotocol analysis$9eng$_152430700 *653 $asecurity goals$9eng$_158678600 *700 $aDown, Douglas G.;$uMcMaster University, Hamilton, Ontario, Canada ; downd@mcmaster.ca$_158678700 *700 $aKhedri, Ridha$uMcMaster University, Hamilton, Ontario, Canada ; khedri@mcmaster.ca$_158678800 *773 $tNordic journal of computing$gVol. 12, no. 3 (2005)$x1236-6064$w(NO-LaBS)69800(tnr) *999 $z600381667$anorart:600381667 ^