Etiqueta de registo: 00230nam 2200025 450
001 1691591
003 http://id.bnportugal.gov.pt/bib/catbnp/1691591
100 ## $a20080916d2006 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aFormal methods for the analysis of security protocols$bTexto policopiado]$fPedro Miguel dos Santos Alves Madeira Adão$gorient. Paulo Alexandre Carreira Mateus, Andre Scedrov
210 #9 $aLisboa$c[s.n.],$d2006
215 ## $aXII, 187 p.$d30 cm
320 ## $aBibliography, p. 129-141
328 #0 $bTese dout.$cMatemática$eInstituto Superior Técnico, Univ. Técnica de Lisboa$d2006
675 ## $a519.72(043)$vBN$zpor$31245507
675 ## $a003.26(043)$vBN$zpor$31230724
700 #1 $aAdão,$bPedro Miguel dos Santos Alves Madeira$31345551
702 #1 $aMateus,$bPaulo Alexandre Carreira$4727$31000296
702 #1 $aScedrov,$bAndre$4727$31345558
712 02 $aUniversidade Técnica de Lisboa.$bInstituto Superior Técnico$4295$3175770
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 122823 V.$x1