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

9783540752264, 9783540752271

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Where Can an Insider Attack?

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

10.1007/978-3-540-75227-1_9 ◽

2007 ◽

pp. 127-142 ◽

Cited By ~ 15

Author(s):

Christian W. Probst ◽

René Rydhof Hansen ◽

Flemming Nielson

Keyword(s):

Insider Attack

Download Full-text

Formalizing and Analyzing Sender Invariance

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

10.1007/978-3-540-75227-1_6 ◽

2007 ◽

pp. 80-95 ◽

Cited By ~ 5

Author(s):

Paul Hankes Drielsma ◽

Sebastian Mödersheim ◽

Luca Viganò ◽

David Basin

Download Full-text

Timed Calculus of Cryptographic Communication

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

10.1007/978-3-540-75227-1_2 ◽

2007 ◽

pp. 16-30

Author(s):

Johannes Borgström ◽

Olga Grinchtein ◽

Simon Kramer

Download Full-text

Maintaining Information Flow Security Under Refinement and Transformation

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

10.1007/978-3-540-75227-1_10 ◽

2007 ◽

pp. 143-157 ◽

Cited By ~ 5

Author(s):

Fredrik Seehusen ◽

Ketil Stølen

Keyword(s):

Information Flow ◽

Information Flow Security

Download Full-text

A Tool for the Synthesis of Controller Programs

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

10.1007/978-3-540-75227-1_8 ◽

2007 ◽

pp. 112-126 ◽

Cited By ~ 1

Author(s):

Ilaria Matteucci

Download Full-text

A Classification of Delegation Schemes for Attribute Authority

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

10.1007/978-3-540-75227-1_11 ◽

2007 ◽

pp. 158-169

Author(s):

Ludwig Seitz ◽

Erik Rissanen ◽

Babak Sadighi

Download Full-text

Measuring Anonymity with Relative Entropy

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

10.1007/978-3-540-75227-1_5 ◽

2007 ◽

pp. 65-79 ◽

Cited By ~ 23

Author(s):

Yuxin Deng ◽

Jun Pang ◽

Peng Wu

Keyword(s):

Relative Entropy

Download Full-text

A New Trust Model Based on Advanced D-S Evidence Theory for P2P Networks

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

10.1007/978-3-540-75227-1_18 ◽

2007 ◽

pp. 270-284

Author(s):

Chunqi Tian ◽

Shihong Zou ◽

Wendong Wang ◽

Shiduan Cheng

Keyword(s):

Evidence Theory ◽

Trust Model ◽

P2p Networks ◽

Model Based

Download Full-text

Hiding Information in Multi Level Security Systems

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

10.1007/978-3-540-75227-1_17 ◽

2007 ◽

pp. 250-269 ◽

Cited By ~ 2

Author(s):

Danièle Beauquier ◽

Ruggero Lanotte

Keyword(s):

Security Systems ◽

Multi Level

Download Full-text

Locality-Based Security Policies

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

10.1007/978-3-540-75227-1_13 ◽

2007 ◽

pp. 185-201 ◽

Cited By ~ 1

Author(s):

Terkel K. Tolstrup ◽

Flemming Nielson ◽

René Rydhof Hansen

Keyword(s):

Security Policies

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Where Can an Insider Attack?

Formalizing and Analyzing Sender Invariance

Timed Calculus of Cryptographic Communication

Maintaining Information Flow Security Under Refinement and Transformation

A Tool for the Synthesis of Controller Programs

A Classification of Delegation Schemes for Attribute Authority

Measuring Anonymity with Relative Entropy

A New Trust Model Based on Advanced D-S Evidence Theory for P2P Networks

Hiding Information in Multi Level Security Systems

Locality-Based Security Policies

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