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

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662496343, 9783662496350

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Composing Protocols with Randomized Actions

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-662-49635-0_10 ◽

2016 ◽

pp. 189-210 ◽

Author(s):

Matthew S. Bauer ◽

Rohit Chadha ◽

Mahesh Viswanathan

Download Full-text

A Taxonomy of Information Flow Monitors

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-662-49635-0_3 ◽

2016 ◽

pp. 46-67 ◽

Author(s):

Nataliia Bielova ◽

Tamara Rezk

Keyword(s):

Information Flow

Download Full-text

Tool Demonstration: JOANA

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-662-49635-0_5 ◽

2016 ◽

pp. 89-93 ◽

Author(s):

Jürgen Graf ◽

Martin Hecker ◽

Martin Mohr ◽

Gregor Snelting

Download Full-text

AIF- $$\omega $$ ω : Set-Based Protocol Abstraction with Countable Families

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-662-49635-0_12 ◽

2016 ◽

pp. 233-253 ◽

Author(s):

Sebastian Mödersheim ◽

Alessandro Bruni

Download Full-text

On Improvements of Low-Deterministic Security

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-662-49635-0_4 ◽

2016 ◽

pp. 68-88 ◽

Author(s):

Joachim Breitner ◽

Jürgen Graf ◽

Martin Hecker ◽

Martin Mohr ◽

Gregor Snelting

Download Full-text

Bounding the Number of Agents, for Equivalence Too

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-662-49635-0_11 ◽

2016 ◽

pp. 211-232 ◽

Author(s):

Véronique Cortier ◽

Antoine Dallon ◽

Stéphanie Delaune

Download Full-text

The Value of Attack-Defence Diagrams

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-662-49635-0_9 ◽

2016 ◽

pp. 163-185 ◽

Author(s):

Holger Hermanns ◽

Julia Krämer ◽

Jan Krčál ◽

Mariëlle Stoelinga

Download Full-text

Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-662-49635-0_6 ◽

2016 ◽

pp. 97-115 ◽

Author(s):

Quoc Huy Do ◽

Eduard Kamburjan ◽

Nathan Wasser

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Electronic Voting ◽

Information Flow Analysis ◽

Fully Automatic

Download Full-text

Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-662-49635-0_7 ◽

2016 ◽

pp. 116-138

Author(s):

Kevin Falzon ◽

Eric Bodden

Keyword(s):

Comprehensive Model

Download Full-text

Computational Soundness Results for Stateful Applied $$\pi $$ π Calculus

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-662-49635-0_13 ◽

2016 ◽

pp. 254-275 ◽

Author(s):

Jianxiong Shao ◽

Yu Qin ◽

Dengguo Feng

Keyword(s):

Download Full-text