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/ifip1-7/fast2006.bht:"
download as .bib file
@proceedings{DBLP:conf/ifip1-7/2006,
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75227-1},
doi = {10.1007/978-3-540-75227-1},
isbn = {978-3-540-75226-4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/BeauquierL06,
author = {Dani{\`{e}}le Beauquier and
Ruggero Lanotte},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Hiding Information in Multi Level Security Systems},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {250--269},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_17},
doi = {10.1007/978-3-540-75227-1\_17},
timestamp = {Sun, 02 Oct 2022 16:07:30 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/BeauquierL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/BeguelinBL06,
author = {Santiago Zanella B{\'{e}}guelin and
Gustavo Betarte and
Carlos Luna},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {A Formal Specification of the {MIDP} 2.0 Security Model},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {220--234},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_15},
doi = {10.1007/978-3-540-75227-1\_15},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/BeguelinBL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/BistarelliDP06,
author = {Stefano Bistarelli and
Marco Dall'Aglio and
Pamela Peretti},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Strategic Games on Defense Trees},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {1--15},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_1},
doi = {10.1007/978-3-540-75227-1\_1},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/BistarelliDP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/BorgstromGK06,
author = {Johannes Borgstr{\"{o}}m and
Olga Grinchtein and
Simon Kramer},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Timed Calculus of Cryptographic Communication},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {16--30},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_2},
doi = {10.1007/978-3-540-75227-1\_2},
timestamp = {Sun, 31 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip1-7/BorgstromGK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/BraendelandS06,
author = {Gyrd Br{\ae}ndeland and
Ketil St{\o}len},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {A Semantic Paradigm for Component-Based Specification Integrating
a Notion of Security Risk},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {31--46},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_3},
doi = {10.1007/978-3-540-75227-1\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/BraendelandS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/DaubignardJLM06,
author = {Marion Daubignard and
Romain Janvier and
Yassine Lakhnech and
Laurent Mazar{\'{e}}},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Game-Based Criterion Partition Applied to Computational Soundness
of Adaptive Security},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {47--64},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_4},
doi = {10.1007/978-3-540-75227-1\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/DaubignardJLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/DengPW06,
author = {Yuxin Deng and
Jun Pang and
Peng Wu},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Measuring Anonymity with Relative Entropy},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {65--79},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_5},
doi = {10.1007/978-3-540-75227-1\_5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/DengPW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/DrielsmaMVB06,
author = {Paul Hankes Drielsma and
Sebastian M{\"{o}}dersheim and
Luca Vigan{\`{o}} and
David A. Basin},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Formalizing and Analyzing Sender Invariance},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {80--95},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_6},
doi = {10.1007/978-3-540-75227-1\_6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip1-7/DrielsmaMVB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/KrukowN06,
author = {Karl Krukow and
Mogens Nielsen},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {From Simulations to Theorems: {A} Position Paper on Research in the
Field of Computational Trust},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {96--111},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_7},
doi = {10.1007/978-3-540-75227-1\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/KrukowN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/Matteucci06,
author = {Ilaria Matteucci},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {A Tool for the Synthesis of Controller Programs},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {112--126},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_8},
doi = {10.1007/978-3-540-75227-1\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/Matteucci06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/MeydenZ06,
author = {Ron van der Meyden and
Chenyi Zhang},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {A Comparison of Semantic Models for Noninterference},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {235--249},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_16},
doi = {10.1007/978-3-540-75227-1\_16},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/MeydenZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/ProbstHN06,
author = {Christian W. Probst and
Ren{\'{e}} Rydhof Hansen and
Flemming Nielson},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Where Can an Insider Attack?},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {127--142},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_9},
doi = {10.1007/978-3-540-75227-1\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/ProbstHN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/SeehusenS06,
author = {Fredrik Seehusen and
Ketil St{\o}len},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Maintaining Information Flow Security Under Refinement and Transformation},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {143--157},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_10},
doi = {10.1007/978-3-540-75227-1\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/SeehusenS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/SeitzRF06,
author = {Ludwig Seitz and
Erik Rissanen and
Babak Sadighi Firozabadi},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {A Classification of Delegation Schemes for Attribute Authority},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {158--169},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_11},
doi = {10.1007/978-3-540-75227-1\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/SeitzRF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/SondergaardPJH06,
author = {Dan S{\o}ndergaard and
Christian W. Probst and
Christian Damsgaard Jensen and
Ren{\'{e}} Rydhof Hansen},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Program Partitioning Using Dynamic Trust Models},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {170--184},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_12},
doi = {10.1007/978-3-540-75227-1\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/SondergaardPJH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/TianZWC06,
author = {Chunqi Tian and
Shihong Zou and
Wendong Wang and
Shiduan Cheng},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {A New Trust Model Based on Advanced {D-S} Evidence Theory for {P2P}
Networks},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {270--284},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_18},
doi = {10.1007/978-3-540-75227-1\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/TianZWC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/TolstrupNH06,
author = {Terkel K. Tolstrup and
Flemming Nielson and
Ren{\'{e}} Rydhof Hansen},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Locality-Based Security Policies},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {185--201},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_13},
doi = {10.1007/978-3-540-75227-1\_13},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/TolstrupNH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/WeiH06,
author = {Kun Wei and
James Heather},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {A Theorem-Proving Approach to Verification of Fair Non-repudiation
Protocols},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {202--219},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_14},
doi = {10.1007/978-3-540-75227-1\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/WeiH06.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 02:15 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:
