Search dblp for Publications

export results for "toc:db/journals/entcs/entcs186.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics