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

9783642014642, 9783642014659

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Who Can Declassify?

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

10.1007/978-3-642-01465-9_3 ◽

2009 ◽

pp. 35-49 ◽

Cited By ~ 8

Author(s):

Alexander Lux ◽

Heiko Mantel

Download Full-text

Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels

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

10.1007/978-3-642-01465-9_5 ◽

2009 ◽

pp. 67-81 ◽

Cited By ~ 9

Author(s):

Heiko Mantel ◽

Henning Sudbrock

Keyword(s):

Covert Channels ◽

Modeling And Analysis ◽

Information Theoretic

Download Full-text

Do You Really Mean What You Actually Enforced?

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

10.1007/978-3-642-01465-9_19 ◽

2009 ◽

pp. 287-301 ◽

Cited By ~ 6

Author(s):

Nataliia Bielova ◽

Fabio Massacci

Download Full-text

Trust within the Context of Organizations: A Formal Approach

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

10.1007/978-3-642-01465-9_8 ◽

2009 ◽

pp. 114-128 ◽

Cited By ~ 1

Author(s):

Emiliano Lorini ◽

Rino Falcone ◽

Cristiano Castelfranchi

Keyword(s):

Formal Approach

Download Full-text

Delegating Privileges over Finite Resources: A Quota Based Delegation Approach

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

10.1007/978-3-642-01465-9_20 ◽

2009 ◽

pp. 302-315 ◽

Cited By ~ 1

Author(s):

Isaac Agudo ◽

Carmen Fernandez-Gago ◽

Javier Lopez

Download Full-text

Petri Net Security Checker: Structural Non-interference at Work

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

10.1007/978-3-642-01465-9_14 ◽

2009 ◽

pp. 210-225 ◽

Cited By ~ 17

Author(s):

Simone Frau ◽

Roberto Gorrieri ◽

Carlo Ferigato

Keyword(s):

Petri Net ◽

Net Security

Download Full-text

Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder

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

10.1007/978-3-642-01465-9_13 ◽

2009 ◽

pp. 192-209 ◽

Cited By ~ 5

Author(s):

Francis Klay ◽

Laurent Vigneron

Keyword(s):

Automatic Methods

Download Full-text

Non-Interference for Deterministic Interactive Programs

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

10.1007/978-3-642-01465-9_4 ◽

2009 ◽

pp. 50-66 ◽

Cited By ~ 13

Author(s):

David Clark ◽

Sebastian Hunt

Download Full-text

Know What You Trust

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

10.1007/978-3-642-01465-9_9 ◽

2009 ◽

pp. 129-142 ◽

Cited By ~ 1

Author(s):

Fred Spiessens ◽

Jerry den Hartog ◽

Sandro Etalle

Download Full-text

Secure Broadcast Ambients

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

10.1007/978-3-642-01465-9_17 ◽

2009 ◽

pp. 257-271

Author(s):

Elsa L. Gunter ◽

Ayesha Yasmeen

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Who Can Declassify?

Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels

Do You Really Mean What You Actually Enforced?

Trust within the Context of Organizations: A Formal Approach

Delegating Privileges over Finite Resources: A Quota Based Delegation Approach

Petri Net Security Checker: Structural Non-interference at Work

Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder

Non-Interference for Deterministic Interactive Programs

Know What You Trust

Secure Broadcast Ambients

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