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.
Foundations and applications of security analysis : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers / Pierpaolo Degano, Luca Viganò (eds.).
Foundations and applications of security analysis : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers / Pierpaolo Degano, Luca Viganò (eds.).
Creatore [Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security]
Estensione 1 online resource (x, 221 pages) : illustrations.
Disciplina 005.8
Accesso persona Degano, Pierpaolo, 1950-
Viganò, Luca
ISBN 9783642034596
3642034594
9783642034589
3642034586
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Policy Model for Secure Information Flow -- A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference -- Validating Security Protocols under the General Attacker -- Usage Automata -- Static Detection of Logic Flaws in Service-Oriented Applications -- Improving the Semantics of Imperfect Security -- Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data -- Transformations between Cryptographic Protocols -- Formal Validation of OFEPSP+ with AVISPA -- On the Automated Correction of Protocols with Improper Message Encoding -- Finite Models in FOL-Based Crypto-Protocol Verification -- Towards a Type System for Security APIs -- Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption -- How Many Election Officials Does It Take to Change an Election?
Record Nr. STANFORD-a9110502
[Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security]  
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
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
Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers / Sebastian Mödersheim, Catuscia Palamidessi (eds.).
Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers / Sebastian Mödersheim, Catuscia Palamidessi (eds.).
Creatore [Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2011 : Saarbrücken, Germany)]
Estensione 1 online resource (vi, 224 pages) : illustrations.
Disciplina 005.8
Accesso persona Mödersheim, Sebastian
Palamidessi, Catuscia
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Data encryption (Computer science)
Computer software
Computers and Society
Algorithm Analysis and Problem Complexity
Programming Languages, Compilers, Interpreters
ISBN 9783642273759
3642273750
9783642273742
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a9518531
[Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2011 : Saarbrücken, Germany)]  
Materiale a stampa
Lo trovi qui: Stanford University
Foundations and applications of security analysis [electronic resource] : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers / Pierpaolo Degano, Luca Viganò (eds.).
Foundations and applications of security analysis [electronic resource] : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers / Pierpaolo Degano, Luca Viganò (eds.).
Creatore [Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security]
Estensione 1 online resource
Disciplina 005.8
Accesso persona Degano, Pierpaolo, 1950-
Viganò, Luca
Genere/Forma Electronic books
Conference proceedings
ISBN 9783642034596
3642034594
9783642034589
3642034586
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Policy Model for Secure Information Flow -- A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference -- Validating Security Protocols under the General Attacker -- Usage Automata -- Static Detection of Logic Flaws in Service-Oriented Applications -- Improving the Semantics of Imperfect Security -- Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data -- Transformations between Cryptographic Protocols -- Formal Validation of OFEPSP+ with AVISPA -- On the Automated Correction of Protocols with Improper Message Encoding -- Finite Models in FOL-Based Crypto-Protocol Verification -- Towards a Type System for Security APIs -- Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption -- How Many Election Officials Does It Take to Change an Election?.
Record Nr. UPENN-9964975813503681
[Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers / Sebastian Mödersheim, Catuscia Palamidessi (eds.).
Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers / Sebastian Mödersheim, Catuscia Palamidessi (eds.).
Creatore [Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2011 : Saarbrücken, Germany)]
Estensione 1 online resource (vi, 224 pages) : illustrations.
Accesso persona Mödersheim, Sebastian
Palamidessi, Catuscia
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Data encryption (Computer science)
Computer software
Computers and Society
Algorithm Analysis and Problem Complexity
Programming Languages, Compilers, Interpreters
ISBN 9783642273759
3642273750
9783642273742
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076646
[Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2011 : Saarbrücken, Germany)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Foundations and applications of security analysis : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers / Pierpaolo Degano, Luca Viganò (eds.).
Foundations and applications of security analysis : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers / Pierpaolo Degano, Luca Viganò (eds.).
Creatore [Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security]
Estensione 1 online resource (x, 221 pages) : illustrations.
Accesso persona Degano, Pierpaolo, 1950-
Viganò, Luca
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
ISBN 9783642034596
3642034594
9783642034589
3642034586
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Policy Model for Secure Information Flow -- A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference -- Validating Security Protocols under the General Attacker -- Usage Automata -- Static Detection of Logic Flaws in Service-Oriented Applications -- Improving the Semantics of Imperfect Security -- Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data -- Transformations between Cryptographic Protocols -- Formal Validation of OFEPSP+ with AVISPA -- On the Automated Correction of Protocols with Improper Message Encoding -- Finite Models in FOL-Based Crypto-Protocol Verification -- Towards a Type System for Security APIs -- Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption -- How Many Election Officials Does It Take to Change an Election?
Record Nr. UCHICAGO-11073384
[Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security]  
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 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
Theory of security and applications [electronic resource] : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers / Sebastian Mödersheim, Catuscia Palamidessi (eds.).
Theory of security and applications [electronic resource] : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers / Sebastian Mödersheim, Catuscia Palamidessi (eds.).
Creatore [Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2011 : Saarbrücken, Germany)]
Estensione 1 online resource (vi, 224 p.) : ill.
Disciplina 005.8
Accesso persona Mödersheim, Sebastian
Palamidessi, Catuscia
ISBN 3642273750 (electronic bk.)
9783642273759 (electronic bk.)
9783642273742
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-5482164
[Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2011 : Saarbrücken, Germany)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers / Sebastian Mödersheim, Catuscia Palamidessi (eds.).
Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers / Sebastian Mödersheim, Catuscia Palamidessi (eds.).
Creatore [Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2011 : Saarbrücken, Germany)]
Estensione 1 online resource (vi, 224 pages) : illustrations.
Disciplina 005.8
Accesso persona Mödersheim, Sebastian
Palamidessi, Catuscia
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Data encryption (Computer science)
Computer software
Computers and Society
Algorithm Analysis and Problem Complexity
Programming Languages, Compilers, Interpreters
ISBN 9783642273759
3642273750
9783642273742
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004621390
[Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2011 : Saarbrücken, Germany)]  
Materiale a stampa
Lo trovi qui: New York University
Theory of security and applications [electronic resource] : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers / Sebastian Mödersheim, Catuscia Palamidessi (eds.).
Theory of security and applications [electronic resource] : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers / Sebastian Mödersheim, Catuscia Palamidessi (eds.).
Creatore [Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2011 : Saarbrücken, Germany)]
Estensione 1 online resource (vi, 224 p.) : ill
Disciplina 005.8
Accesso persona Mödersheim, Sebastian
Palamidessi, Catuscia
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Data encryption (Computer science)
Computer software
Computers and Society
Algorithm Analysis and Problem Complexity
Programming Languages, Compilers, Interpreters
ISBN 9783642273759 (electronic bk.)
3642273750 (electronic bk.)
9783642273742
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960091723503681
[Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2011 : Saarbrücken, Germany)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania