Foundations of Security Analysis and Design VI - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

9

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642230813, 9783642230820

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Introduction to Security API Analysis

Foundations of Security Analysis and Design VI - Lecture Notes in Computer Science ◽

10.1007/978-3-642-23082-0_2 ◽

2011 ◽

pp. 35-65 ◽

Author(s):

Riccardo Focardi ◽

Flaminia L. Luccio ◽

Graham Steel

Download Full-text

Quantitative Information Flow and Applications to Differential Privacy

Foundations of Security Analysis and Design VI - Lecture Notes in Computer Science ◽

10.1007/978-3-642-23082-0_8 ◽

2011 ◽

pp. 211-230 ◽

Author(s):

Mário S. Alvim ◽

Miguel E. Andrés ◽

Konstantinos Chatzikokolakis ◽

Catuscia Palamidessi

Keyword(s):

Information Flow ◽

Differential Privacy ◽

Quantitative Information ◽

Quantitative Information Flow

Download Full-text

Model-Driven Development of Security-Aware GUIs for Data-Centric Applications

Foundations of Security Analysis and Design VI - Lecture Notes in Computer Science ◽

10.1007/978-3-642-23082-0_4 ◽

2011 ◽

pp. 101-124 ◽

Author(s):

David Basin ◽

Manuel Clavel ◽

Marina Egea ◽

Miguel A. García de Dios ◽

Carolina Dania ◽

...

Keyword(s):

Model Driven Development ◽

Download Full-text

The Geometry of Lattice Cryptography

Foundations of Security Analysis and Design VI - Lecture Notes in Computer Science ◽

10.1007/978-3-642-23082-0_7 ◽

2011 ◽

pp. 185-210 ◽

Author(s):

Daniele Micciancio

Download Full-text

Risk Analysis of Changing and Evolving Systems Using CORAS

Foundations of Security Analysis and Design VI - Lecture Notes in Computer Science ◽

10.1007/978-3-642-23082-0_9 ◽

2011 ◽

pp. 231-274 ◽

Author(s):

Mass Soldal Lund ◽

Bjørnar Solhaug ◽

Ketil Stølen

Keyword(s):

Risk Analysis ◽

Evolving Systems

Download Full-text

A Method for Security Governance, Risk, and Compliance (GRC): A Goal-Process Approach

Foundations of Security Analysis and Design VI - Lecture Notes in Computer Science ◽

10.1007/978-3-642-23082-0_6 ◽

2011 ◽

pp. 152-184 ◽

Author(s):

Yudistira Asnar ◽

Fabio Massacci

Keyword(s):

Process Approach ◽

Security Governance ◽

Governance Risk

Download Full-text

Protecting Privacy in Data Release

Foundations of Security Analysis and Design VI - Lecture Notes in Computer Science ◽

10.1007/978-3-642-23082-0_1 ◽

2011 ◽

pp. 1-34 ◽

Author(s):

Sabrina De Capitani di Vimercati ◽

Sara Foresti ◽

Giovanni Livraga ◽

Pierangela Samarati

Keyword(s):

Download Full-text

Cryptographic Verification by Typing for a Sample Protocol Implementation

Foundations of Security Analysis and Design VI - Lecture Notes in Computer Science ◽

10.1007/978-3-642-23082-0_3 ◽

2011 ◽

pp. 66-100 ◽

Author(s):

Cédric Fournet ◽

Karthikeyan Bhargavan ◽

Andrew D. Gordon

Keyword(s):

Protocol Implementation

Download Full-text

On Intransitive Non-interference in Some Models of Concurrency

Foundations of Security Analysis and Design VI - Lecture Notes in Computer Science ◽

10.1007/978-3-642-23082-0_5 ◽

2011 ◽

pp. 125-151 ◽

Author(s):

Roberto Gorrieri ◽

Matteo Vernali

Keyword(s):

Models Of Concurrency

Download Full-text