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 [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
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
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
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
Creatore [Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 : York, England)]
Estensione 1 online resource.
Accesso persona Degano, Pierpaolo, 1950-
ISBN 9783642034596 (electronic bk.)
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-4645803
[Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 : York, England)]  
Risorse elettroniche
Lo trovi qui: University of Alberta / NEOS Library Consortium
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
Genere/Forma Congresses
ISBN 9783642034596
3642034594
9783642034589
3642034586
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7956755
[Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
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
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 p.) : ill.
Disciplina 005.8
Accesso persona Degano, Pierpaolo, 1950-
Viganò, Luca
Genere/Forma Electronic books
ISBN 9783642034589
3642034586
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-004459008
[Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security]  
Materiale a stampa
Lo trovi qui: Duke University