![](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
Search dblp for Publications
export results for "stream:conf/ics2:"
@proceedings{DBLP:conf/ics2/2006, editor = {Catalin Dima and Marius Minea and Ferucio Laurentiu Tiplea}, title = {Proceedings of the First Workshop in Information and Computer Security, ICS@SYNASC 2006, Timisoara, Romania, September 30, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {186}, publisher = {Elsevier}, year = {2007}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/186/suppl/C}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ics2/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CortierHW07, author = {V{\'{e}}ronique Cortier and Heinrich H{\"{o}}rdegen and Bogdan Warinschi}, editor = {Catalin Dima and Marius Minea and Ferucio Laurentiu Tiplea}, title = {Explicit Randomness is not Necessary when Modeling Probabilistic Encryption}, booktitle = {Proceedings of the First Workshop in Information and Computer Security, ICS@SYNASC 2006, Timisoara, Romania, September 30, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {186}, pages = {49--65}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.11.044}, doi = {10.1016/J.ENTCS.2006.11.044}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/CortierHW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CuppensCG07, author = {Fr{\'{e}}d{\'{e}}ric Cuppens and Nora Cuppens{-}Boulahia and Meriam Ben Ghorbel}, editor = {Catalin Dima and Marius Minea and Ferucio Laurentiu Tiplea}, title = {High Level Conflict Management Strategies in Advanced Access Control Models}, booktitle = {Proceedings of the First Workshop in Information and Computer Security, ICS@SYNASC 2006, Timisoara, Romania, September 30, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {186}, pages = {3--26}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.01.064}, doi = {10.1016/J.ENTCS.2007.01.064}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CuppensCG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DimaMT07, author = {Catalin Dima and Marius Minea and Ferucio Laurentiu Tiplea}, editor = {Catalin Dima and Marius Minea and Ferucio Laurentiu Tiplea}, title = {Preface}, booktitle = {Proceedings of the First Workshop in Information and Computer Security, ICS@SYNASC 2006, Timisoara, Romania, September 30, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {186}, pages = {1--2}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.05.035}, doi = {10.1016/J.ENTCS.2007.05.035}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DimaMT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DixonGFH07, author = {Clare Dixon and M. Carmen Fern{\'{a}}ndez Gago and Michael Fisher and Wiebe van der Hoek}, editor = {Catalin Dima and Marius Minea and Ferucio Laurentiu Tiplea}, title = {Temporal Logics of Knowledge and their Applications in Security}, booktitle = {Proceedings of the First Workshop in Information and Computer Security, ICS@SYNASC 2006, Timisoara, Romania, September 30, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {186}, pages = {27--42}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.11.043}, doi = {10.1016/J.ENTCS.2006.11.043}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DixonGFH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GalibusM07, author = {Tatyana Galibus and Genadii Matveev}, editor = {Catalin Dima and Marius Minea and Ferucio Laurentiu Tiplea}, title = {Generalized Mignotte's Sequences Over Polynomial Rings}, booktitle = {Proceedings of the First Workshop in Information and Computer Security, ICS@SYNASC 2006, Timisoara, Romania, September 30, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {186}, pages = {43--48}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.12.044}, doi = {10.1016/J.ENTCS.2006.12.044}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GalibusM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Iftene07, author = {Sorin Iftene}, editor = {Catalin Dima and Marius Minea and Ferucio Laurentiu Tiplea}, title = {General Secret Sharing Based on the Chinese Remainder Theorem with Applications in E-Voting}, booktitle = {Proceedings of the First Workshop in Information and Computer Security, ICS@SYNASC 2006, Timisoara, Romania, September 30, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {186}, pages = {67--84}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.01.065}, doi = {10.1016/J.ENTCS.2007.01.065}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Iftene07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/JanvierLM07, author = {Romain Janvier and Yassine Lakhnech and Laurent Mazar{\'{e}}}, editor = {Catalin Dima and Marius Minea and Ferucio Laurentiu Tiplea}, title = {Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions}, booktitle = {Proceedings of the First Workshop in Information and Computer Security, ICS@SYNASC 2006, Timisoara, Romania, September 30, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {186}, pages = {121--139}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.01.066}, doi = {10.1016/J.ENTCS.2007.01.066}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/JanvierLM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MartinelliP07a, author = {Fabio Martinelli and Marinella Petrocchi}, editor = {Catalin Dima and Marius Minea and Ferucio Laurentiu Tiplea}, title = {A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS}, booktitle = {Proceedings of the First Workshop in Information and Computer Security, ICS@SYNASC 2006, Timisoara, Romania, September 30, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {186}, pages = {85--99}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.03.024}, doi = {10.1016/J.ENTCS.2007.03.024}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/MartinelliP07a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Matteucci07, author = {Ilaria Matteucci}, editor = {Catalin Dima and Marius Minea and Ferucio Laurentiu Tiplea}, title = {Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting}, booktitle = {Proceedings of the First Workshop in Information and Computer Security, ICS@SYNASC 2006, Timisoara, Romania, September 30, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {186}, pages = {101--120}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.03.025}, doi = {10.1016/J.ENTCS.2007.03.025}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Matteucci07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](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.