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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540289555, 9783540319368

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Justifying a Dolev-Yao Model Under Active Attacks

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

10.1007/11554578_1 ◽

2005 ◽

pp. 1-41

Author(s):

Michael Backes ◽

Birgit Pfitzmann ◽

Michael Waidner

Keyword(s):

Active Attacks

Download Full-text

Formal Methods for Smartcard Security

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

10.1007/11554578_5 ◽

2005 ◽

pp. 133-177 ◽

Cited By ~ 2

Author(s):

Gilles Barthe ◽

Guillaume Dufay

Keyword(s):

Formal Methods

Download Full-text

Security and Trust Requirements Engineering

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

10.1007/11554578_8 ◽

2005 ◽

pp. 237-272 ◽

Cited By ~ 26

Author(s):

Paolo Giorgini ◽

Fabio Massacci ◽

Nicola Zannone

Keyword(s):

Requirements Engineering

Download Full-text

Intrusion Detection: Introduction to Intrusion Detection and Security Information Management

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

10.1007/11554578_7 ◽

2005 ◽

pp. 207-236 ◽

Cited By ~ 9

Author(s):

Hervé Debar ◽

Jouni Viinikka

Keyword(s):

Intrusion Detection ◽

Information Management ◽

Security Information Management ◽

Security Information

Download Full-text

A Tutorial on Physical Security and Side-Channel Attacks

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

10.1007/11554578_3 ◽

2005 ◽

pp. 78-108 ◽

Cited By ~ 26

Author(s):

François Koeune ◽

François-Xavier Standaert

Keyword(s):

Side Channel ◽

Physical Security ◽

Side Channel Attacks

Download Full-text

Static Analysis of Authentication

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

10.1007/11554578_4 ◽

2005 ◽

pp. 109-132

Author(s):

Riccardo Focardi

Keyword(s):

Static Analysis

Download Full-text

Model-Based Security Engineering with UML

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

10.1007/11554578_2 ◽

2005 ◽

pp. 42-77 ◽

Cited By ~ 13

Author(s):

Jan Jürjens

Keyword(s):

Security Engineering ◽

Model Based

Download Full-text

Privacy-Preserving Database Systems

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

10.1007/11554578_6 ◽

2005 ◽

pp. 178-206 ◽

Cited By ~ 27

Author(s):

Elisa Bertino ◽

Ji-Won Byun ◽

Ninghui Li

Keyword(s):

Database Systems ◽

Privacy Preserving

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Justifying a Dolev-Yao Model Under Active Attacks

Formal Methods for Smartcard Security

Security and Trust Requirements Engineering

Intrusion Detection: Introduction to Intrusion Detection and Security Information Management

A Tutorial on Physical Security and Side-Channel Attacks

Static Analysis of Authentication

Model-Based Security Engineering with UML

Privacy-Preserving Database Systems

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