Alessandro Aldini, Roberto Gorrieri (Eds.):
Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures.
Lecture Notes in Computer Science 6858 Springer 2011, ISBN 978-3-642-23081-3 
- Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati:
Protecting Privacy in Data Release.
1-34
- Riccardo Focardi, Flaminia L. Luccio, Graham Steel:
An Introduction to Security API Analysis.
35-65
- Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon:
Cryptographic Verification by Typing for a Sample Protocol Implementation.
66-100
- David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania, Gonzalo Ortiz, Javier Valdazo:
Model-Driven Development of Security-Aware GUIs for Data-Centric Applications.
101-124
- Roberto Gorrieri, Matteo Vernali:
On Intransitive Non-interference in Some Models of Concurrency.
125-151
- Yudistira Asnar, Fabio Massacci:
A Method for Security Governance, Risk, and Compliance (GRC): A Goal-Process Approach.
152-184
- Daniele Micciancio:
The Geometry of Lattice Cryptography.
185-210
- Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Quantitative Information Flow and Applications to Differential Privacy.
211-230
- Mass Soldal Lund, Bjørnar Solhaug, Ketil Stølen:
Risk Analysis of Changing and Evolving Systems Using CORAS.
231-274
Last update Fri May 25 08:14:19 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
