default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ifip1-7/fast2008.bht:"
download as .bib file
@proceedings{DBLP:conf/ifip1-7/2008,
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01465-9},
doi = {10.1007/978-3-642-01465-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/AgudoGL08,
author = {Isaac Agudo and
M. Carmen Fern{\'{a}}ndez Gago and
Javier L{\'{o}}pez},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Delegating Privileges over Finite Resources: {A} Quota Based Delegation
Approach},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {302--315},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_20},
doi = {10.1007/978-3-642-01465-9\_20},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/AgudoGL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/BartheGHB08,
author = {Gilles Barthe and
Benjamin Gr{\'{e}}goire and
Sylvain Heraud and
Santiago Zanella B{\'{e}}guelin},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Formal Certification of ElGamal Encryption},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {1--19},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_1},
doi = {10.1007/978-3-642-01465-9\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/BartheGHB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/BielovaM08,
author = {Nataliia Bielova and
Fabio Massacci},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Do You Really Mean What You Actually Enforced?},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {287--301},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_19},
doi = {10.1007/978-3-642-01465-9\_19},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/BielovaM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/Boudol08,
author = {G{\'{e}}rard Boudol},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Secure Information Flow as a Safety Property},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {20--34},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_2},
doi = {10.1007/978-3-642-01465-9\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/Boudol08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/Bursztein08,
author = {Elie Bursztein},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Extending Anticipation Games with Location, Penalty and Timeline},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {272--286},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_18},
doi = {10.1007/978-3-642-01465-9\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/Bursztein08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/ClarkH08,
author = {David Clark and
Sebastian Hunt},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Non-Interference for Deterministic Interactive Programs},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {50--66},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_4},
doi = {10.1007/978-3-642-01465-9\_4},
timestamp = {Thu, 29 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip1-7/ClarkH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/CohenMZ08,
author = {Ariel Cohen and
Ron van der Meyden and
Lenore D. Zuck},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Access Control and Information Flow in Transactional Memory},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {316--330},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_21},
doi = {10.1007/978-3-642-01465-9\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/CohenMZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/DugganW08,
author = {Dominic Duggan and
Ye Wu},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Causality and Accountability},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {82--96},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_6},
doi = {10.1007/978-3-642-01465-9\_6},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/DugganW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/FrauGF08,
author = {Simone Frau and
Roberto Gorrieri and
Carlo Ferigato},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Petri Net Security Checker: Structural Non-interference at Work},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {210--225},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_14},
doi = {10.1007/978-3-642-01465-9\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/FrauGF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/GrooteO08,
author = {Jan Friso Groote and
Simona Orzan},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Parameterised Anonymity},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {177--191},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_12},
doi = {10.1007/978-3-642-01465-9\_12},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip1-7/GrooteO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/GunterY08,
author = {Elsa L. Gunter and
Ayesha Yasmeen},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Secure Broadcast Ambients},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {257--271},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_17},
doi = {10.1007/978-3-642-01465-9\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/GunterY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/HeatherL08,
author = {James Heather and
David Lundin},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {The Append-Only Web Bulletin Board},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {242--256},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_16},
doi = {10.1007/978-3-642-01465-9\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/HeatherL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/JongeJ08,
author = {Wiebren de Jonge and
Bart Jacobs},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Privacy-Friendly Electronic Traffic Pricing via Commits},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {143--161},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_10},
doi = {10.1007/978-3-642-01465-9\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/JongeJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/KlayV08,
author = {Francis Klay and
Laurent Vigneron},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Automatic Methods for Analyzing Non-repudiation Protocols with an
Active Intruder},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {192--209},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_13},
doi = {10.1007/978-3-642-01465-9\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/KlayV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/LoriniFC08,
author = {Emiliano Lorini and
Rino Falcone and
Cristiano Castelfranchi},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Trust within the Context of Organizations: {A} Formal Approach},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {114--128},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_8},
doi = {10.1007/978-3-642-01465-9\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/LoriniFC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/LuxM08,
author = {Alexander Lux and
Heiko Mantel},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Who Can Declassify?},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {35--49},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_3},
doi = {10.1007/978-3-642-01465-9\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/LuxM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/MantelS08,
author = {Heiko Mantel and
Henning Sudbrock},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Information-Theoretic Modeling and Analysis of Interrupt-Related Covert
Channels},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {67--81},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_5},
doi = {10.1007/978-3-642-01465-9\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/MantelS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/Metayer08,
author = {Daniel Le M{\'{e}}tayer},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {A Formal Privacy Management Framework},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {162--176},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_11},
doi = {10.1007/978-3-642-01465-9\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/Metayer08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/Pavlovic08,
author = {Dusko Pavlovic},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Dynamics, Robustness and Fragility of Trust},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {97--113},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_7},
doi = {10.1007/978-3-642-01465-9\_7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/Pavlovic08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/SpiessensHE08,
author = {Fred Spiessens and
Jerry den Hartog and
Sandro Etalle},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Know What You Trust},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {129--142},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_9},
doi = {10.1007/978-3-642-01465-9\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/SpiessensHE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/VerhoevenD08,
author = {Rob Verhoeven and
Francien Dechesne},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Verifying Multi-party Authentication Using Rank Functions and {PVS}},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {226--241},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_15},
doi = {10.1007/978-3-642-01465-9\_15},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/VerhoevenD08.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.
retrieved on 2025-02-18 01:58 CET 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:
