top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalit√† di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Automated reasoning for security protocol analysis and issues in the theory of security : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010 : revised selected papers / Alessandro Armando, Gavin Lowe (eds.).
Automated reasoning for security protocol analysis and issues in the theory of security : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010 : revised selected papers / Alessandro Armando, Gavin Lowe (eds.).
Creatore [Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2010 : Paphos, Cyprus)]
Estensione 1 online resource (viii, 184 pages) : illustrations.
Disciplina 005.8
Accesso persona Armando, Alessandro
Lowe, Gavin
Soggetto non controllato Automated reasoning
Security protocol analysis
ARSPA
ISBN 9783642160745
3642160743
9783642160738
3642160735
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a9114414
[Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2010 : Paphos, Cyprus)]  
Materiale a stampa
Lo trovi qui: Stanford University
Automated reasoning for security protocol analysis and issues in the theory of security : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010 : revised selected papers / Alessandro Armando, Gavin Lowe (eds.).
Automated reasoning for security protocol analysis and issues in the theory of security : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010 : revised selected papers / Alessandro Armando, Gavin Lowe (eds.).
Creatore [Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2010 : Paphos, Cyprus)]
Estensione 1 online resource (viii, 184 pages) : illustrations.
Disciplina 005.8
Accesso persona Armando, Alessandro
Lowe, Gavin
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
ISBN 9783642160745
3642160743
9783642160738
3642160735
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004364587
[Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2010 : Paphos, Cyprus)]  
Materiale a stampa
Lo trovi qui: New York University
Automated reasoning for security protocol analysis and issues in the theory of security : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010 : revised selected papers / Alessandro Armando, Gavin Lowe (eds.).
Automated reasoning for security protocol analysis and issues in the theory of security : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010 : revised selected papers / Alessandro Armando, Gavin Lowe (eds.).
Creatore [Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2010 : Paphos, Cyprus)]
Estensione 1 online resource (viii, 184 pages) : illustrations.
Disciplina 005.8
Accesso persona Armando, Alessandro
Lowe, Gavin
Genere/Forma Congresses
ISBN 9783642160745
3642160743
9783642160738
3642160735
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7960267
[Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2010 : Paphos, Cyprus)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Automated reasoning for security protocol analysis and issues in the theory of security : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010 : revised selected papers / Alessandro Armando, Gavin Lowe (eds.).
Automated reasoning for security protocol analysis and issues in the theory of security : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010 : revised selected papers / Alessandro Armando, Gavin Lowe (eds.).
Creatore [Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2010 : Paphos, Cyprus)]
Estensione 1 online resource (viii, 184 pages) : illustrations.
Accesso persona Armando, Alessandro
Lowe, Gavin
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
ISBN 9783642160745
3642160743
9783642160738
3642160735
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11074801
[Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2010 : Paphos, Cyprus)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Automated reasoning for security protocol analysis and issues in the theory of security : joint workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010 : revised selected papers / Alessandro Armando, Gavin Lowe (eds.).
Automated reasoning for security protocol analysis and issues in the theory of security : joint workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010 : revised selected papers / Alessandro Armando, Gavin Lowe (eds.).
Creatore [Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2010 : Paphos, Cyprus)]
Estensione 1 online resource (viii, 184 p.) : ill.
Disciplina 005.8
Accesso persona Armando, Alessandro
Lowe, Gavin
Genere/Forma Electronic books
Soggetto non controllato Automated reasoning
Security protocol analysis
ARSPA
ISBN 3642160735
9783642160738
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-004911186
[Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2010 : Paphos, Cyprus)]  
Materiale a stampa
Lo trovi qui: Duke University