Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642160738, 9783642160745

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The CaPiTo Approach to Protocol Validation

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16074-5_1 ◽

2010 ◽

pp. 1-1

Author(s):

Flemming Nielson ◽

Han Gao ◽

Hanne Riis Nielson

Keyword(s):

Protocol Validation

Download Full-text

Towards Automatic Analysis of Election Verifiability Properties

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16074-5_11 ◽

2010 ◽

pp. 146-163 ◽

Cited By ~ 13

Author(s):

Ben Smyth ◽

Mark Ryan ◽

Steve Kremer ◽

Mounira Kourjieh

Keyword(s):

Automatic Analysis

Download Full-text

Secrecy and Authenticity Types for Secure Distributed Messaging

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16074-5_3 ◽

2010 ◽

pp. 23-40

Author(s):

Michele Bugliesi ◽

Stefano Calzavara ◽

Damiano Macedonio

Download Full-text

Reasoning about Probabilistic Security Using Task-PIOAs

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16074-5_2 ◽

2010 ◽

pp. 2-22 ◽

Cited By ~ 1

Author(s):

Aaron D. Jaggard ◽

Catherine Meadows ◽

Michael Mislove ◽

Roberto Segala

Download Full-text

Formal Analysis of Key Integrity in PKCS#11

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16074-5_6 ◽

2010 ◽

pp. 77-94 ◽

Cited By ~ 3

Author(s):

Andrea Falcone ◽

Riccardo Focardi

Keyword(s):

Formal Analysis

Download Full-text

A Type System for Access Control Views in Object-Oriented Languages

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16074-5_5 ◽

2010 ◽

pp. 59-76

Author(s):

Mário Pires ◽

Luís Caires

Keyword(s):

Access Control ◽

Type System ◽

Object Oriented ◽

Object Oriented Languages

Download Full-text

Modular Plans for Secure Service Composition

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16074-5_4 ◽

2010 ◽

pp. 41-58 ◽

Cited By ~ 1

Author(s):

Gabriele Costa ◽

Pierpaolo Degano ◽

Fabio Martinelli

Keyword(s):

Service Composition

Download Full-text

Portunes: Representing Attack Scenarios Spanning through the Physical, Digital and Social Domain

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16074-5_9 ◽

2010 ◽

pp. 112-129 ◽

Cited By ~ 14

Author(s):

Trajce Dimkov ◽

Wolter Pieters ◽

Pieter Hartel

Keyword(s):

Social Domain

Download Full-text

AnBx - Security Protocols Design and Verification

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16074-5_12 ◽

2010 ◽

pp. 164-184 ◽

Cited By ~ 4

Author(s):

Michele Bugliesi ◽

Paolo Modesti

Keyword(s):

Security Protocols

Download Full-text

Secure Upgrade of Hardware Security Modules in Bank Networks

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16074-5_7 ◽

2010 ◽

pp. 95-110 ◽

Cited By ~ 2

Author(s):

Riccardo Focardi ◽

Flaminia L. Luccio

Keyword(s):

Hardware Security ◽

Hardware Security Modules

Download Full-text

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

The CaPiTo Approach to Protocol Validation

Towards Automatic Analysis of Election Verifiability Properties

Secrecy and Authenticity Types for Secure Distributed Messaging

Reasoning about Probabilistic Security Using Task-PIOAs

Formal Analysis of Key Integrity in PKCS#11

A Type System for Access Control Views in Object-Oriented Languages

Modular Plans for Secure Service Composition

Portunes: Representing Attack Scenarios Spanning through the Physical, Digital and Social Domain

AnBx - Security Protocols Design and Verification

Secure Upgrade of Hardware Security Modules in Bank Networks

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Lecture Notes in Computer Science
Latest Publications