Volume 186,
July 2007
Proceedings of the First Workshop in Information and Computer Security (ICS 2006)
- Catalin Dima, Marius Minea, Ferucio Laurentiu Tiplea:
Preface.
1-2
Electronic Edition (link) BibTeX
- Frédéric Cuppens, Nora Cuppens-Boulahia, Meriam Ben Ghorbel:
High Level Conflict Management Strategies in Advanced Access Control Models.
3-26
Electronic Edition (link) BibTeX
- Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek:
Temporal Logics of Knowledge and their Applications in Security.
27-42
Electronic Edition (link) BibTeX
- Tatyana Galibus, Genadii Matveev:
Generalized Mignotte's Sequences Over Polynomial Rings.
43-48
Electronic Edition (link) BibTeX
- Véronique Cortier, Heinrich Hördegen, Bogdan Warinschi:
Explicit Randomness is not Necessary when Modeling Probabilistic Encryption.
49-65
Electronic Edition (link) BibTeX
- Sorin Iftene:
General Secret Sharing Based on the Chinese Remainder Theorem with Applications in E-Voting.
67-84
Electronic Edition (link) BibTeX
- Fabio Martinelli, Marinella Petrocchi:
A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS.
85-99
Electronic Edition (link) BibTeX
- Ilaria Matteucci:
Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting.
101-120
Electronic Edition (link) BibTeX
- Romain Janvier, Yassine Lakhnech, Laurent Mazaré:
Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions.
121-139
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:25 2009
by Michael Ley (ley@uni-trier.de)