default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ifip1-7/fast2009.bht:"
download as .bib file
@proceedings{DBLP:conf/ifip1-7/2009,
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12459-4},
doi = {10.1007/978-3-642-12459-4},
isbn = {978-3-642-12458-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/AlcaldeM09,
author = {Baptiste Alcalde and
Sjouke Mauw},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {An Algebra for Trust Dilution and Trust Fusion},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {4--20},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_2},
doi = {10.1007/978-3-642-12459-4\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/AlcaldeM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/AlpizarS09,
author = {Rafael Alp{\'{\i}}zar and
Geoffrey Smith},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Secure Information Flow for Distributed Systems},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {126--140},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_10},
doi = {10.1007/978-3-642-12459-4\_10},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/AlpizarS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/ArmandoP09,
author = {Alessandro Armando and
Serena Elisa Ponta},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Model Checking of Security-Sensitive Business Processes},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {66--80},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_6},
doi = {10.1007/978-3-642-12459-4\_6},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/ArmandoP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/Banerjee09,
author = {Anindya Banerjee},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Semantics and Enforcement of Expressive Information Flow Policies},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {1--3},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_1},
doi = {10.1007/978-3-642-12459-4\_1},
timestamp = {Thu, 22 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip1-7/Banerjee09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/BruckerM09,
author = {Achim D. Brucker and
Sebastian M{\"{o}}dersheim},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Integrating Automated and Interactive Protocol Verification},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {248--262},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_18},
doi = {10.1007/978-3-642-12459-4\_18},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip1-7/BruckerM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/ChenR09,
author = {Liqun Chen and
Mark Ryan},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Attack, Solution and Verification for Shared Authorisation Data in
{TCG} {TPM}},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {201--216},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_15},
doi = {10.1007/978-3-642-12459-4\_15},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip1-7/ChenR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/CirilloR09,
author = {Andrew Cirillo and
James Riely},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Reflections on Trust: Trust Assurance by Dynamic Discovery of Static
Properties},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {51--65},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_5},
doi = {10.1007/978-3-642-12459-4\_5},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/CirilloR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/EilersN09,
author = {Florian Eilers and
Uwe Nestmann},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Deriving Trust from Experience},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {36--50},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_4},
doi = {10.1007/978-3-642-12459-4\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/EilersN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/ElSalamounySN09,
author = {Ehab ElSalamouny and
Vladimiro Sassone and
Mogens Nielsen},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {HMM-Based Trust Model},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {21--35},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_3},
doi = {10.1007/978-3-642-12459-4\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/ElSalamounySN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/HamadouPSE09,
author = {Sardaouna Hamadou and
Catuscia Palamidessi and
Vladimiro Sassone and
Ehab ElSalamouny},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Probable Innocence in the Presence of Independent Knowledge},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {141--156},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_11},
doi = {10.1007/978-3-642-12459-4\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/HamadouPSE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/HeusserM09,
author = {Jonathan Heusser and
Pasquale Malacaria},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Applied Quantitative Information Flow and Statistical Databases},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {96--110},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_8},
doi = {10.1007/978-3-642-12459-4\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/HeusserM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/KamilL09,
author = {Allaa Kamil and
Gavin Lowe},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Specifying and Modelling Secure Channels in Strand Spaces},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {233--247},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_17},
doi = {10.1007/978-3-642-12459-4\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/KamilL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/LafourcadeTV09,
author = {Pascal Lafourcade and
Vanessa Terrade and
Sylvain Vigier},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Comparison of Cryptographic Verification Tools Dealing with Algebraic
Properties},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {173--185},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_13},
doi = {10.1007/978-3-642-12459-4\_13},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/LafourcadeTV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/LaudT09,
author = {Peeter Laud and
Ilja Tsahhirov},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {A User Interface for a Game-Based Protocol Verification Tool},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {263--278},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_19},
doi = {10.1007/978-3-642-12459-4\_19},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/LaudT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/McCarthyK09,
author = {Jay A. McCarthy and
Shriram Krishnamurthi},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Trusted Multiplexing of Cryptographic Protocols},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {217--232},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_16},
doi = {10.1007/978-3-642-12459-4\_16},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip1-7/McCarthyK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/MerroS09,
author = {Massimo Merro and
Eleonora Sibilio},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {A Calculus of Trustworthy Ad Hoc Networks},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {157--172},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_12},
doi = {10.1007/978-3-642-12459-4\_12},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/MerroS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/MurrayL09,
author = {Toby C. Murray and
Gavin Lowe},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Analysing the Information Flow Properties of Object-Capability Patterns},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {81--95},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_7},
doi = {10.1007/978-3-642-12459-4\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/MurrayL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/SvenningssonS09,
author = {Josef Svenningsson and
David Sands},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Specification and Verification of Side Channel Declassification},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {111--125},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_9},
doi = {10.1007/978-3-642-12459-4\_9},
timestamp = {Wed, 10 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/SvenningssonS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/ZhangZPM09,
author = {Ying Zhang and
Chenyi Zhang and
Jun Pang and
Sjouke Mauw},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Game-Based Verification of Multi-Party Contract Signing Protocols},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {186--200},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_14},
doi = {10.1007/978-3-642-12459-4\_14},
timestamp = {Sat, 31 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/ZhangZPM09.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 2024-12-05 03:30 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:
