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