default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ifip1-7/fast2004.bht:"
download as .bib file
@proceedings{DBLP:conf/ifip1-7/2004,
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
publisher = {Springer},
year = {2005},
isbn = {0-387-24050-0},
timestamp = {Thu, 24 Jul 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/AbdallahK04,
author = {Ali E. Abdallah and
Etienne J. Khayat},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {A Formal Model for Parameterized Role-Based Access Control},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {233--246},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_17},
doi = {10.1007/0-387-24098-5\_17},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/AbdallahK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/BistarelliFO04,
author = {Stefano Bistarelli and
Simon N. Foley and
Barry O'Sullivan},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {Reasoning about Secure Interoperation Using Soft Constraints},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {173--186},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_13},
doi = {10.1007/0-387-24098-5\_13},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/BistarelliFO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/BravettiBGLZ04,
author = {Mario Bravetti and
Nadia Busi and
Roberto Gorrieri and
Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {Security Issues in the Tuple-Space Coordination Model},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {1--12},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_1},
doi = {10.1007/0-387-24098-5\_1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/BravettiBGLZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/BryansKR04,
author = {Jeremy W. Bryans and
Maciej Koutny and
Peter Y. A. Ryan},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {Modelling Dynamic Opacity Using Petri Nets with Silent Actions},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {159--172},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_12},
doi = {10.1007/0-387-24098-5\_12},
timestamp = {Thu, 14 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip1-7/BryansKR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/CederquistD04,
author = {Jan Cederquist and
Muhammad Torabi Dashti},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {Formal Analysis of a Fair Payment Protocol},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {41--54},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_4},
doi = {10.1007/0-387-24098-5\_4},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/CederquistD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/ChooBHM04,
author = {Kim{-}Kwang Raymond Choo and
Colin Boyd and
Yvonne Hitchcock and
Greg Maitland},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {Complementing Computational Protocol Analysis with Formal Specifications},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {129--144},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_10},
doi = {10.1007/0-387-24098-5\_10},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/ChooBHM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/CorinEHLS04,
author = {Ricardo Corin and
Sandro Etalle and
J. I. den Hartog and
Gabriele Lenzini and
I. Staicu},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {A Logic for Auditing Accountability in Decentralized Systems},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {187--201},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_14},
doi = {10.1007/0-387-24098-5\_14},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/CorinEHLS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/CuppensCSM04,
author = {Fr{\'{e}}d{\'{e}}ric Cuppens and
Nora Cuppens{-}Boulahia and
Thierry Sans and
Alexandre Mi{\`{e}}ge},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {A Formal Approach to Specify and Deploy a Network Security Policy},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {203--218},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_15},
doi = {10.1007/0-387-24098-5\_15},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/CuppensCSM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/HaackJ04,
author = {Christian Haack and
Alan Jeffrey},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {Pattern-Matching Spi-Calculus},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {55--70},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_5},
doi = {10.1007/0-387-24098-5\_5},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/HaackJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/HartogV04,
author = {Jerry den Hartog and
Erik P. de Vink},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {Virtual Analysis and Reduction of Side-Channel Vulnerabilities of
Smartcards},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {85--98},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_7},
doi = {10.1007/0-387-24098-5\_7},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/HartogV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/HeatherC04,
author = {James Heather and
Jonathan Y. Clark},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {Family Secrets},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {99--114},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_8},
doi = {10.1007/0-387-24098-5\_8},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/HeatherC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/KoshutanskiM04,
author = {Hristo Koshutanski and
Fabio Massacci},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {An Interactive Trust Management and Negotiation Scheme},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {115--128},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_9},
doi = {10.1007/0-387-24098-5\_9},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/KoshutanskiM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/LanotteMT04,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Angelo Troina},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {Information Flow Analysis for Probabilistic Timed Automata},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {13--26},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_2},
doi = {10.1007/0-387-24098-5\_2},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/LanotteMT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/Mazare04,
author = {Laurent Mazar{\'{e}}},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {Decidability of Opacity with Non-Atomic Keys},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {71--84},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_6},
doi = {10.1007/0-387-24098-5\_6},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/Mazare04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/RissanenFS04,
author = {Erik Rissanen and
Babak Sadighi Firozabadi and
Marek J. Sergot},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {Discretionary Overriding of Access Control in the Privilege Calculus},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {219--232},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_16},
doi = {10.1007/0-387-24098-5\_16},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/RissanenFS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/ShiBA04,
author = {Jianqiang Shi and
Gregor von Bochmann and
Carlisle M. Adams},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {A Trust Model with Statistical Foundation},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {145--158},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_11},
doi = {10.1007/0-387-24098-5\_11},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/ShiBA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/ZhengM04,
author = {Lantian Zheng and
Andrew C. Myers},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {Dynamic Security Labels and Noninterference (Extended Abstract)},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {27--40},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_3},
doi = {10.1007/0-387-24098-5\_3},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/ZhengM04.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-11-08 20:52 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:
