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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642124587, 9783642124594

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties

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

10.1007/978-3-642-12459-4_5 ◽

2010 ◽

pp. 51-65

Author(s):

Andrew Cirillo ◽

James Riely

Keyword(s):

Static Properties

Download Full-text

Game-Based Verification of Multi-Party Contract Signing Protocols

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

10.1007/978-3-642-12459-4_14 ◽

2010 ◽

pp. 186-200 ◽

Cited By ~ 5

Author(s):

Ying Zhang ◽

Chenyi Zhang ◽

Jun Pang ◽

Sjouke Mauw

Keyword(s):

Contract Signing

Download Full-text

Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties

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

10.1007/978-3-642-12459-4_13 ◽

2010 ◽

pp. 173-185 ◽

Cited By ~ 11

Author(s):

Pascal Lafourcade ◽

Vanessa Terrade ◽

Sylvain Vigier

Keyword(s):

Algebraic Properties ◽

Verification Tools

Download Full-text

Deriving Trust from Experience

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

10.1007/978-3-642-12459-4_4 ◽

2010 ◽

pp. 36-50 ◽

Cited By ~ 4

Author(s):

Florian Eilers ◽

Uwe Nestmann

Download Full-text

A User Interface for a Game-Based Protocol Verification Tool

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

10.1007/978-3-642-12459-4_19 ◽

2010 ◽

pp. 263-278 ◽

Cited By ~ 2

Author(s):

Peeter Laud ◽

Ilja Tšahhirov

Keyword(s):

User Interface ◽

Protocol Verification ◽

Verification Tool

Download Full-text

Semantics and Enforcement of Expressive Information Flow Policies

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

10.1007/978-3-642-12459-4_1 ◽

2010 ◽

pp. 1-3

Author(s):

Anindya Banerjee

Keyword(s):

Information Flow

Download Full-text

Specifying and Modelling Secure Channels in Strand Spaces

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

10.1007/978-3-642-12459-4_17 ◽

2010 ◽

pp. 233-247 ◽

Cited By ~ 6

Author(s):

Allaa Kamil ◽

Gavin Lowe

Keyword(s):

Strand Spaces ◽

Secure Channels

Download Full-text

Specification and Verification of Side Channel Declassification

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

10.1007/978-3-642-12459-4_9 ◽

2010 ◽

pp. 111-125 ◽

Cited By ~ 5

Author(s):

Josef Svenningsson ◽

David Sands

Keyword(s):

Side Channel ◽

Specification And Verification

Download Full-text

Probable Innocence in the Presence of Independent Knowledge

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

10.1007/978-3-642-12459-4_11 ◽

2010 ◽

pp. 141-156 ◽

Cited By ~ 5

Author(s):

Sardaouna Hamadou ◽

Catuscia Palamidessi ◽

Vladimiro Sassone ◽

Ehab ElSalamouny

Download Full-text

Trusted Multiplexing of Cryptographic Protocols

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

10.1007/978-3-642-12459-4_16 ◽

2010 ◽

pp. 217-232 ◽

Cited By ~ 1

Author(s):

Jay McCarthy ◽

Shriram Krishnamurthi

Keyword(s):

Cryptographic Protocols

Download Full-text

Formal Aspects in Security and Trust - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties

Game-Based Verification of Multi-Party Contract Signing Protocols

Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties

Deriving Trust from Experience

A User Interface for a Game-Based Protocol Verification Tool

Semantics and Enforcement of Expressive Information Flow Policies

Specifying and Modelling Secure Channels in Strand Spaces

Specification and Verification of Side Channel Declassification

Probable Innocence in the Presence of Independent Knowledge

Trusted Multiplexing of Cryptographic Protocols

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