Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/entcs/entcs142.bht:"
download as .bib file
@proceedings{DBLP:conf/vodca/2004,
editor = {Maurice H. ter Beek and
Fabio Gadducci},
title = {Proceedings of the First International Workshop on Views on Designing
Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September
11-12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {142},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/142/suppl/C},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vodca/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArdagnaDVS06,
author = {Claudio Agostino Ardagna and
Ernesto Damiani and
Sabrina De Capitani di Vimercati and
Pierangela Samarati},
editor = {Maurice H. ter Beek and
Fabio Gadducci},
title = {A Web Service Architecture for Enforcing Access Control Policies},
booktitle = {Proceedings of the First International Workshop on Views on Designing
Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September
11-12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {142},
pages = {47--62},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.09.044},
doi = {10.1016/J.ENTCS.2004.09.044},
timestamp = {Thu, 15 Dec 2022 14:30:44 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArdagnaDVS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BeekG06,
author = {Maurice H. ter Beek and
Fabio Gadducci},
editor = {Maurice H. ter Beek and
Fabio Gadducci},
title = {Preface},
booktitle = {Proceedings of the First International Workshop on Views on Designing
Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September
11-12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {142},
pages = {1--3},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.07.009},
doi = {10.1016/J.ENTCS.2005.07.009},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BeekG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BellaBF06,
author = {Giampaolo Bella and
Stefano Bistarelli and
Simon N. Foley},
editor = {Maurice H. ter Beek and
Fabio Gadducci},
title = {Soft Constraints for Security},
booktitle = {Proceedings of the First International Workshop on Views on Designing
Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September
11-12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {142},
pages = {11--29},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.07.011},
doi = {10.1016/J.ENTCS.2005.07.011},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BellaBF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BellaPR06,
author = {Giampaolo Bella and
Costantino Pistagna and
Salvatore Riccobene},
editor = {Maurice H. ter Beek and
Fabio Gadducci},
title = {Distributed Backup through Information Dispersal},
booktitle = {Proceedings of the First International Workshop on Views on Designing
Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September
11-12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {142},
pages = {63--77},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.11.046},
doi = {10.1016/J.ENTCS.2004.11.046},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BellaPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BuccellaCB06,
author = {Agustina Buccella and
Alejandra Cechich and
Nieves R. Brisaboa},
editor = {Maurice H. ter Beek and
Fabio Gadducci},
title = {A Federated Layer to Integrate Heterogeneous Knowledge},
booktitle = {Proceedings of the First International Workshop on Views on Designing
Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September
11-12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {142},
pages = {79--97},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.09.045},
doi = {10.1016/J.ENTCS.2004.09.045},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BuccellaCB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Cremers06,
author = {Cas Cremers},
editor = {Maurice H. ter Beek and
Fabio Gadducci},
title = {Compositionality of Security Protocols: {A} Research Agenda},
booktitle = {Proceedings of the First International Workshop on Views on Designing
Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September
11-12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {142},
pages = {99--110},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.047},
doi = {10.1016/J.ENTCS.2004.12.047},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Cremers06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EgidiP06,
author = {Lavinia Egidi and
Marinella Petrocchi},
editor = {Maurice H. ter Beek and
Fabio Gadducci},
title = {Modelling a Secure Agent with Team Automata},
booktitle = {Proceedings of the First International Workshop on Views on Designing
Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September
11-12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {142},
pages = {111--127},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.046},
doi = {10.1016/J.ENTCS.2004.12.046},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EgidiP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FarinaBPP06,
author = {Antonio Fari{\~{n}}a and
Nieves R. Brisaboa and
Cristina Par{\'{\i}}s and
Jos{\'{e}} R. Param{\'{a}}},
editor = {Maurice H. ter Beek and
Fabio Gadducci},
title = {Fast and Flexible Compression for Web Search Engines},
booktitle = {Proceedings of the First International Workshop on Views on Designing
Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September
11-12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {142},
pages = {129--141},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.09.043},
doi = {10.1016/J.ENTCS.2004.09.043},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FarinaBPP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FerrariL06,
author = {Gianluigi Ferrari and
Alberto Lluch{-}Lafuente},
editor = {Maurice H. ter Beek and
Fabio Gadducci},
title = {A Logic for Graphs with QoS},
booktitle = {Proceedings of the First International Workshop on Views on Designing
Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September
11-12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {142},
pages = {143--160},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.030},
doi = {10.1016/J.ENTCS.2004.10.030},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/FerrariL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FinkKP06,
author = {Torsten Fink and
Manuel Koch and
Karl Pauls},
editor = {Maurice H. ter Beek and
Fabio Gadducci},
title = {An {MDA} approach to Access Control Specifications Using {MOF} and
{UML} Profiles},
booktitle = {Proceedings of the First International Workshop on Views on Designing
Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September
11-12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {142},
pages = {161--179},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.045},
doi = {10.1016/J.ENTCS.2004.12.045},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FinkKP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Jurjens06,
author = {Jan J{\"{u}}rjens},
editor = {Maurice H. ter Beek and
Fabio Gadducci},
title = {Foundations for Designing Secure Architectures},
booktitle = {Proceedings of the First International Workshop on Views on Designing
Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September
11-12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {142},
pages = {31--46},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.07.012},
doi = {10.1016/J.ENTCS.2005.07.012},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Jurjens06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KuleszaKK06,
author = {Kamil Kulesza and
Zbigniew Kotulski and
Konrad Kulesza},
editor = {Maurice H. ter Beek and
Fabio Gadducci},
title = {On Mobile Agents Resistance to Traffic Analysis},
booktitle = {Proceedings of the First International Workshop on Views on Designing
Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September
11-12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {142},
pages = {181--193},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.044},
doi = {10.1016/J.ENTCS.2004.12.044},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KuleszaKK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Munther06,
author = {Jan M{\"{u}}nther},
editor = {Maurice H. ter Beek and
Fabio Gadducci},
title = {On the Security of Security Software: Invited Position Paper},
booktitle = {Proceedings of the First International Workshop on Views on Designing
Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September
11-12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {142},
pages = {5--10},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.07.010},
doi = {10.1016/J.ENTCS.2005.07.010},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Munther06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NanzH06,
author = {Sebastian Nanz and
Chris Hankin},
editor = {Maurice H. ter Beek and
Fabio Gadducci},
title = {Formal Security Analysis for Ad-Hoc Networks},
booktitle = {Proceedings of the First International Workshop on Views on Designing
Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September
11-12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {142},
pages = {195--213},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.029},
doi = {10.1016/J.ENTCS.2004.10.029},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/NanzH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RawatPG06,
author = {Sanjay Rawat and
Arun K. Pujari and
Ved Prakash Gulati},
editor = {Maurice H. ter Beek and
Fabio Gadducci},
title = {On the Use of Singular Value Decomposition for a Fast Intrusion Detection
System},
booktitle = {Proceedings of the First International Workshop on Views on Designing
Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September
11-12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {142},
pages = {215--228},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.043},
doi = {10.1016/J.ENTCS.2004.12.043},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RawatPG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TuostoV06,
author = {Emilio Tuosto and
Hugo Torres Vieira},
editor = {Maurice H. ter Beek and
Fabio Gadducci},
title = {An Observational Model for Spatial Logics},
booktitle = {Proceedings of the First International Workshop on Views on Designing
Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September
11-12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {142},
pages = {229--254},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.028},
doi = {10.1016/J.ENTCS.2004.10.028},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TuostoV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-25 13:14 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
