Foundations of Security Analysis and Design V - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642038280, 9783642038297

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols

Foundations of Security Analysis and Design V - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03829-7_6 ◽

2009 ◽

pp. 166-194 ◽

Cited By ~ 13

Author(s):

Sebastian Mödersheim ◽

Luca Viganò

Keyword(s):

Fixed Point ◽

Open Source ◽

Security Protocols ◽

Symbolic Analysis ◽

Model Checker ◽

Point Model

Download Full-text

An Introduction to Certificate Translation

Foundations of Security Analysis and Design V - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03829-7_2 ◽

2009 ◽

pp. 51-95

Author(s):

Gilles Barthe ◽

César Kunz

Download Full-text

Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties

Foundations of Security Analysis and Design V - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03829-7_1 ◽

2009 ◽

pp. 1-50 ◽

Cited By ~ 75

Author(s):

Santiago Escobar ◽

Catherine Meadows ◽

José Meseguer

Keyword(s):

Protocol Analysis ◽

Cryptographic Protocol ◽

Cryptographic Protocol Analysis

Download Full-text

Resource Usage Analysis and Its Application to Resource Certification

Foundations of Security Analysis and Design V - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03829-7_9 ◽

2009 ◽

pp. 258-288 ◽

Cited By ~ 6

Author(s):

Elvira Albert ◽

Puri Arenas ◽

Samir Genaim ◽

Germán Puebla ◽

Damiano Zanardini

Keyword(s):

Resource Usage ◽

Usage Analysis

Download Full-text

Logic in Access Control (Tutorial Notes)

Foundations of Security Analysis and Design V - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03829-7_5 ◽

2009 ◽

pp. 145-165 ◽

Cited By ~ 10

Author(s):

Martín Abadi

Keyword(s):

Access Control

Download Full-text

Analysis of Security Threats, Requirements, Technologies and Standards in Wireless Sensor Networks

Foundations of Security Analysis and Design V - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03829-7_10 ◽

2009 ◽

pp. 289-338 ◽

Cited By ~ 41

Author(s):

Javier Lopez ◽

Rodrigo Roman ◽

Cristina Alcaraz

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Wireless Sensor ◽

Security Threats

Download Full-text

Verification of Concurrent Programs with Chalice

Foundations of Security Analysis and Design V - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03829-7_7 ◽

2009 ◽

pp. 195-222 ◽

Cited By ~ 35

Author(s):

K. Rustan M. Leino ◽

Peter Müller ◽

Jan Smans

Keyword(s):

Concurrent Programs

Download Full-text

Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment

Foundations of Security Analysis and Design V - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03829-7_4 ◽

2009 ◽

pp. 121-144 ◽

Cited By ~ 15

Author(s):

Bart Jacobs ◽

Wolter Pieters

Keyword(s):

The Netherlands ◽

Electronic Voting ◽

Early Adoption

Download Full-text

Federated Identity Management

Foundations of Security Analysis and Design V - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03829-7_3 ◽

2009 ◽

pp. 96-120 ◽

Cited By ~ 59

Author(s):

David W. Chadwick

Keyword(s):

Identity Management ◽

Federated Identity Management ◽

Federated Identity

Download Full-text

Certified Static Analysis by Abstract Interpretation

Foundations of Security Analysis and Design V - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03829-7_8 ◽

2009 ◽

pp. 223-257 ◽

Cited By ~ 2

Author(s):

Frédéric Besson ◽

David Cachera ◽

Thomas Jensen ◽

David Pichardie

Keyword(s):

Static Analysis ◽

Abstract Interpretation

Download Full-text

Foundations of Security Analysis and Design V - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols

An Introduction to Certificate Translation

Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties

Resource Usage Analysis and Its Application to Resource Certification

Logic in Access Control (Tutorial Notes)

Analysis of Security Threats, Requirements, Technologies and Standards in Wireless Sensor Networks

Verification of Concurrent Programs with Chalice

Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment

Federated Identity Management

Certified Static Analysis by Abstract Interpretation

Foundations of Security Analysis and Design V - Lecture Notes in Computer Science
Latest Publications