![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
1st ICS@SYNASC 2006: Timisoara, Romania
- Catalin Dima, Marius Minea, Ferucio Laurentiu Tiplea:
Proceedings of the First Workshop in Information and Computer Security, ICS@SYNASC 2006, Timisoara, Romania, September 30, 2006. Electronic Notes in Theoretical Computer Science 186, Elsevier 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
![](https://dblp.uni-trier.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.