Electronic Notes in Theoretical Computer Science, Volume 186

Volume 186, July 2007

• 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