Lecture Notes in Computer Science - Formal Aspects of Security and Trust
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642197505, 9783642197512

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Foundations of Attack–Defense Trees

Lecture Notes in Computer Science - Formal Aspects of Security and Trust ◽

10.1007/978-3-642-19751-2_6 ◽

2011 ◽

pp. 80-95 ◽

Cited By ~ 70

Author(s):

Barbara Kordy ◽

Sjouke Mauw ◽

Saša Radomirović ◽

Patrick Schweitzer

Download Full-text

Information Flow Analysis via Path Condition Refinement

Lecture Notes in Computer Science - Formal Aspects of Security and Trust ◽

10.1007/978-3-642-19751-2_5 ◽

2011 ◽

pp. 65-79 ◽

Cited By ~ 4

Author(s):

Mana Taghdiri ◽

Gregor Snelting ◽

Carsten Sinz

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Information Flow Analysis ◽

Path Condition

Download Full-text

Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus

Lecture Notes in Computer Science - Formal Aspects of Security and Trust ◽

10.1007/978-3-642-19751-2_15 ◽

2011 ◽

pp. 223-238 ◽

Cited By ~ 10

Author(s):

Naipeng Dong ◽

Hugo Jonker ◽

Jun Pang

Keyword(s):

Pi Calculus

Download Full-text

Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction

Lecture Notes in Computer Science - Formal Aspects of Security and Trust ◽

10.1007/978-3-642-19751-2_11 ◽

2011 ◽

pp. 157-175 ◽

Cited By ~ 1

Author(s):

Clément Hurlin ◽

Hélène Kirchner

Keyword(s):

Security Policies ◽

Automatic Synthesis

Download Full-text

Semantics of Trust

Lecture Notes in Computer Science - Formal Aspects of Security and Trust ◽

10.1007/978-3-642-19751-2_10 ◽

2011 ◽

pp. 141-156 ◽

Cited By ~ 3

Author(s):

Tim Muller

Download Full-text

Cryptographic Enforcement of Role-Based Access Control

Lecture Notes in Computer Science - Formal Aspects of Security and Trust ◽

10.1007/978-3-642-19751-2_13 ◽

2011 ◽

pp. 191-205 ◽

Cited By ~ 7

Author(s):

Jason Crampton

Keyword(s):

Access Control ◽

Role Based Access Control ◽

Role Based

Download Full-text

Efficient Decision Procedures for Message Deducibility and Static Equivalence

Lecture Notes in Computer Science - Formal Aspects of Security and Trust ◽

10.1007/978-3-642-19751-2_3 ◽

2011 ◽

pp. 34-49 ◽

Cited By ~ 3

Author(s):

Bruno Conchinha ◽

David Basin ◽

Carlos Caleiro

Keyword(s):

Decision Procedures ◽

Static Equivalence

Download Full-text

A Formal Analysis of Authentication in the TPM

Lecture Notes in Computer Science - Formal Aspects of Security and Trust ◽

10.1007/978-3-642-19751-2_8 ◽

2011 ◽

pp. 111-125 ◽

Cited By ~ 17

Author(s):

Stéphanie Delaune ◽

Steve Kremer ◽

Mark D. Ryan ◽

Graham Steel

Keyword(s):

Formal Analysis

Download Full-text

Modeling Identity-Related Properties and Their Privacy Strength

Lecture Notes in Computer Science - Formal Aspects of Security and Trust ◽

10.1007/978-3-642-19751-2_9 ◽

2011 ◽

pp. 126-140 ◽

Cited By ~ 6

Author(s):

Meilof Veeningen ◽

Benne de Weger ◽

Nicola Zannone

Download Full-text

Reasoning with Past to Prove PKCS#11 Keys Secure

Lecture Notes in Computer Science - Formal Aspects of Security and Trust ◽

10.1007/978-3-642-19751-2_7 ◽

2011 ◽

pp. 96-110 ◽

Cited By ~ 9

Author(s):

Sibylle Fröschle ◽

Nils Sommer

Download Full-text

Lecture Notes in Computer Science - Formal Aspects of Security and TrustLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Foundations of Attack–Defense Trees

Information Flow Analysis via Path Condition Refinement

Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus

Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction

Semantics of Trust

Cryptographic Enforcement of Role-Based Access Control

Efficient Decision Procedures for Message Deducibility and Static Equivalence

A Formal Analysis of Authentication in the TPM

Modeling Identity-Related Properties and Their Privacy Strength

Reasoning with Past to Prove PKCS#11 Keys Secure

Lecture Notes in Computer Science - Formal Aspects of Security and Trust
Latest Publications