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
- Frédéric Cuppens, Nora Cuppens-Boulahia, Meriam Ben Ghorbel:
High Level Conflict Management Strategies in Advanced Access Control Models.
3-26
- Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek:
Temporal Logics of Knowledge and their Applications in Security.
27-42
- Tatyana Galibus, Genadii Matveev:
Generalized Mignotte's Sequences Over Polynomial Rings.
43-48
- Véronique Cortier, Heinrich Hördegen, Bogdan Warinschi:
Explicit Randomness is not Necessary when Modeling Probabilistic Encryption.
49-65
- Sorin Iftene:
General Secret Sharing Based on the Chinese Remainder Theorem with Applications in E-Voting.
67-84
- Fabio Martinelli, Marinella Petrocchi:
A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS.
85-99
- Ilaria Matteucci:
Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting.
101-120
- Romain Janvier, Yassine Lakhnech, Laurent Mazaré:
Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions.
121-139
Copyright © Sat Nov 28 22:28:43 2009
by Michael Ley (ley@uni-trier.de)
