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/conf/essos/essos2011.bht:"
download as .bib file
@inproceedings{DBLP:conf/essos/AhmedJ11,
author = {Naveed Ahmed and
Christian Damsgaard Jensen},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {Adaptable Authentication Model: Exploring Security with Weaker Attacker
Models},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {234--247},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_18},
doi = {10.1007/978-3-642-19125-1\_18},
timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/essos/AhmedJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/ArsacCPP11,
author = {Wihem Arsac and
Luca Compagna and
Giancarlo Pellegrino and
Serena Elisa Ponta},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {Security Validation of Business Processes via Model-Checking},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {29--42},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_3},
doi = {10.1007/978-3-642-19125-1\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/ArsacCPP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/AzizAW11,
author = {Benjamin Aziz and
Alvaro E. Arenas and
Michael D. Wilson},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {Model-Based Refinement of Security Policies in Collaborative Virtual
Organisations},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {1--14},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_1},
doi = {10.1007/978-3-642-19125-1\_1},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/AzizAW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/Bartsch11,
author = {Steffen Bartsch},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {Authorization Enforcement Usability Case Study},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {209--220},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_16},
doi = {10.1007/978-3-642-19125-1\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/Bartsch11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/BielovaM11,
author = {Nataliia Bielova and
Fabio Massacci},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {Predictability of Enforcement},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {73--86},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_6},
doi = {10.1007/978-3-642-19125-1\_6},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/BielovaM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/BunkeS11,
author = {Michaela Bunke and
Karsten Sohr},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {An Architecture-Centric Approach to Detecting Security Patterns in
Software},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {156--166},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_12},
doi = {10.1007/978-3-642-19125-1\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/BunkeS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/CorinM11,
author = {Ricardo Corin and
Felipe Andr{\'{e}}s Manzano},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {Efficient Symbolic Execution for Analysing Cryptographic Protocol
Implementations},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {58--72},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_5},
doi = {10.1007/978-3-642-19125-1\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/CorinM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/DaoS11,
author = {Thanh{-}Binh Dao and
Etsuya Shibayama},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {Security Sensitive Data Flow Coverage Criterion for Automatic Security
Testing of Web Applications},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {101--113},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_8},
doi = {10.1007/978-3-642-19125-1\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/DaoS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/Eichler11,
author = {J{\"{o}}rn Eichler},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {Lightweight Modeling and Analysis of Security Concepts},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {128--141},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_10},
doi = {10.1007/978-3-642-19125-1\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/Eichler11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/FeldererAB11,
author = {Michael Felderer and
Berthold Agreiter and
Ruth Breu},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {Evolution of Security Requirements Tests for Service-Centric Systems},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {181--194},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_14},
doi = {10.1007/978-3-642-19125-1\_14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/FeldererAB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/FontaineHS11,
author = {Arnaud Fontaine and
Samuel Hym and
Isabelle Simplot{-}Ryl},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {On-Device Control Flow Verification for Java Programs},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {43--57},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_4},
doi = {10.1007/978-3-642-19125-1\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/FontaineHS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/GoovaertsDJ11,
author = {Tom Goovaerts and
Lieven Desmet and
Wouter Joosen},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {Scalable Authorization Middleware for Service Oriented Architectures},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {221--233},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_17},
doi = {10.1007/978-3-642-19125-1\_17},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/GoovaertsDJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/GunawanKH11,
author = {Linda Ariani Gunawan and
Frank Alexander Kraemer and
Peter Herrmann},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {A Tool-Supported Method for the Design and Implementation of Secure
Distributed Applications},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {142--155},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_11},
doi = {10.1007/978-3-642-19125-1\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/GunawanKH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/HeymanYSSY11,
author = {Thomas Heyman and
Koen Yskout and
Riccardo Scandariato and
Holger Schmidt and
Yijun Yu},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {The Security Twin Peaks},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {167--180},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_13},
doi = {10.1007/978-3-642-19125-1\_13},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/essos/HeymanYSSY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/LoinigSWH11,
author = {Johannes Loinig and
Christian Steger and
Reinhold Weiss and
Ernst Haselsteiner},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {Idea: Simulation Based Security Requirement Verification for Transaction
Level Models},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {264--271},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_21},
doi = {10.1007/978-3-642-19125-1\_21},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/LoinigSWH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/MassacciNN11,
author = {Fabio Massacci and
Stephan Neuhaus and
Viet Hung Nguyen},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {After-Life Vulnerabilities: {A} Study on Firefox Evolution, Its Vulnerabilities,
and Fixes},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {195--208},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_15},
doi = {10.1007/978-3-642-19125-1\_15},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/essos/MassacciNN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/MullerHSV11,
author = {Ingo M{\"{u}}ller and
Jun Han and
Jean{-}Guy Schneider and
Steven Versteeg},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {Idea: {A} Reference Platform for Systematic Information Security Management
Tool Support},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {256--263},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_20},
doi = {10.1007/978-3-642-19125-1\_20},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/essos/MullerHSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/NikiforakisMYJJ11,
author = {Nick Nikiforakis and
Wannes Meert and
Yves Younan and
Martin Johns and
Wouter Joosen},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {SessionShield: Lightweight Protection against Session Hijacking},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {87--100},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_7},
doi = {10.1007/978-3-642-19125-1\_7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/NikiforakisMYJJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/PowerSS11,
author = {David J. Power and
Mark Slaymaker and
Andrew Simpson},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {Automatic Conformance Checking of Role-Based Access Control Policies
via Alloy},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {15--28},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_2},
doi = {10.1007/978-3-642-19125-1\_2},
timestamp = {Thu, 20 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/PowerSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/RyckDJ11,
author = {Philippe De Ryck and
Lieven Desmet and
Wouter Joosen},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {Middleware Support for Complex and Distributed Security Services in
Multi-tier Web Applications},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {114--127},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_9},
doi = {10.1007/978-3-642-19125-1\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/RyckDJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/XieCL11,
author = {Jing Xie and
Bill Chu and
Heather Richter Lipford},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {Idea: Interactive Support for Secure Software Development},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {248--255},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_19},
doi = {10.1007/978-3-642-19125-1\_19},
timestamp = {Sat, 08 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/essos/XieCL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/essos/2011,
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1},
doi = {10.1007/978-3-642-19125-1},
isbn = {978-3-642-19124-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/2011.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-07-28 07:02 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:
