default search action
Search dblp for Publications
export results for "toc:db/conf/essos/essos2011.bht:"
@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} }
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.