![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
FOSAD 2012 / 2013
- Alessandro Aldini
, Javier López, Fabio Martinelli:
Foundations of Security Analysis and Design VII - FOSAD 2012/2013 Tutorial Lectures. Lecture Notes in Computer Science 8604, Springer 2014, ISBN 978-3-319-10081-4 - Fabrice Bouquet, Fabien Peureux, Fabrice Ambert:
Model-Based Testing for Functional and Security Test Generation. 1-33 - Jens Bürger, Jan Jürjens, Thomas Ruhroth, Stefan Gärtner, Kurt Schneider:
Model-Based Security Engineering: Managed Co-evolution of Security Knowledge and Software Models. 34-53 - Bruno Blanchet
:
Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif. 54-87 - Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
:
Defensive JavaScript - Building and Verifying Secure Web Components. 88-123 - Willem De Groef, Dominique Devriese
, Mathy Vanhoef, Frank Piessens:
Information Flow Control for Web Scripts. 124-145 - Gilles Barthe, François Dupressoir
, Benjamin Grégoire, César Kunz, Benedikt Schmidt, Pierre-Yves Strub:
EasyCrypt: A Tutorial. 146-166 - David Bernhard, Bogdan Warinschi:
Cryptographic Voting - A Gentle Introduction. 167-211 - Sabrina De Capitani di Vimercati, Robert F. Erbacher, Sara Foresti, Sushil Jajodia, Giovanni Livraga, Pierangela Samarati:
Encryption and Fragmentation for Data Confidentiality in the Cloud. 212-243 - Ruben Rios, Javier López, Jorge Cuéllar:
Location Privacy in WSNs: Solutions, Challenges, and Future Trends. 244-282
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.