top

Browse
Persona
Opera
Editori
Soggetto
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
   

Espandi
Riduci





Authority file
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
http://viaf.org/viaf/150361155
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
Rinvio
ARSPA-WITS
Rinvio
Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, Joint
Nome da opac
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2010 : Paphos, Cyprus)
Nome da opac
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 : York, England)
...(altre forme)


Seleziona tutte
Deseleziona


Espandi opera
Automated reasoning for security protocol analysis and issues in the theory of security
{ automated reasoning for security protocol analysis and issues in the theory of security }
...
Espandi opera
Foundations and applications of security analysis
{ foundations and applications of security analysis }
...
Espandi opera
Theory of security and applications
{ theory of security and applications }
...