Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/fasec:"
download as .bib file
@proceedings{DBLP:conf/fasec/2002,
editor = {Ali E. Abdallah and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Formal Aspects of Security, First International Conference, FASec
2002, London, UK, December 16-18, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2629},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b94774},
doi = {10.1007/B94774},
isbn = {3-540-20693-0},
timestamp = {Wed, 15 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fasec/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fasec/BoydV02,
author = {Colin Boyd and
Kapali Viswanathan},
editor = {Ali E. Abdallah and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Towards a Formal Specification of the Bellare-Rogaway Model for Protocol
Analysis},
booktitle = {Formal Aspects of Security, First International Conference, FASec
2002, London, UK, December 16-18, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2629},
pages = {49--61},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40981-6\_6},
doi = {10.1007/978-3-540-40981-6\_6},
timestamp = {Wed, 15 Sep 2021 13:43:48 +0200},
biburl = {https://dblp.org/rec/conf/fasec/BoydV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fasec/Cohen02,
author = {Ernie Cohen},
editor = {Ali E. Abdallah and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {{TAPS:} The Last Few Slides},
booktitle = {Formal Aspects of Security, First International Conference, FASec
2002, London, UK, December 16-18, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2629},
pages = {183--190},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40981-6\_15},
doi = {10.1007/978-3-540-40981-6\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fasec/Cohen02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fasec/DebbabiDFMPT02,
author = {Mourad Debbabi and
Jos{\'{e}}e Desharnais and
M. Fourati and
E. Menif and
Fr{\'{e}}d{\'{e}}ric Painchaud and
Nadia Tawbi},
editor = {Ali E. Abdallah and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Secure Self-certified Code for Java},
booktitle = {Formal Aspects of Security, First International Conference, FASec
2002, London, UK, December 16-18, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2629},
pages = {133--151},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40981-6\_12},
doi = {10.1007/978-3-540-40981-6\_12},
timestamp = {Sat, 16 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fasec/DebbabiDFMPT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fasec/DurantePM02,
author = {Antonio Durante and
Roberto Di Pietro and
Luigi V. Mancini},
editor = {Ali E. Abdallah and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Formal Specification for Fast Automatic {IDS} Training},
booktitle = {Formal Aspects of Security, First International Conference, FASec
2002, London, UK, December 16-18, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2629},
pages = {191--204},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40981-6\_16},
doi = {10.1007/978-3-540-40981-6\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fasec/DurantePM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fasec/Gartner02,
author = {Felix C. G{\"{a}}rtner},
editor = {Ali E. Abdallah and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Revisiting Liveness Properties in the Context of Secure Systems},
booktitle = {Formal Aspects of Security, First International Conference, FASec
2002, London, UK, December 16-18, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2629},
pages = {221--238},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40981-6\_18},
doi = {10.1007/978-3-540-40981-6\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fasec/Gartner02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fasec/Gollmann02,
author = {Dieter Gollmann},
editor = {Ali E. Abdallah and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Analysing Security Protocols},
booktitle = {Formal Aspects of Security, First International Conference, FASec
2002, London, UK, December 16-18, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2629},
pages = {71--80},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40981-6\_8},
doi = {10.1007/978-3-540-40981-6\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fasec/Gollmann02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fasec/Gordon02,
author = {Andy Gordon},
editor = {Ali E. Abdallah and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Authenticity Types for Cryptographic Protocols},
booktitle = {Formal Aspects of Security, First International Conference, FASec
2002, London, UK, December 16-18, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2629},
pages = {3},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40981-6\_2},
doi = {10.1007/978-3-540-40981-6\_2},
timestamp = {Thu, 17 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fasec/Gordon02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fasec/GurgensR02,
author = {Sigrid G{\"{u}}rgens and
Carsten Rudolph},
editor = {Ali E. Abdallah and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Security Analysis of (Un-) Fair Non-repudiation Protocols},
booktitle = {Formal Aspects of Security, First International Conference, FASec
2002, London, UK, December 16-18, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2629},
pages = {97--114},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40981-6\_10},
doi = {10.1007/978-3-540-40981-6\_10},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fasec/GurgensR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fasec/Hall02,
author = {Anthony Hall},
editor = {Ali E. Abdallah and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Z Styles for Security Properties and Modern User Interfaces},
booktitle = {Formal Aspects of Security, First International Conference, FASec
2002, London, UK, December 16-18, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2629},
pages = {152--166},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40981-6\_13},
doi = {10.1007/978-3-540-40981-6\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fasec/Hall02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fasec/HalpernP02,
author = {Joseph Y. Halpern and
Riccardo Pucella},
editor = {Ali E. Abdallah and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Modeling Adversaries in a Logic for Security Protocol Analysis},
booktitle = {Formal Aspects of Security, First International Conference, FASec
2002, London, UK, December 16-18, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2629},
pages = {115--132},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40981-6\_11},
doi = {10.1007/978-3-540-40981-6\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fasec/HalpernP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fasec/NormanS02,
author = {Gethin Norman and
Vitaly Shmatikov},
editor = {Ali E. Abdallah and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Analysis of Probabilistic Contract Signing},
booktitle = {Formal Aspects of Security, First International Conference, FASec
2002, London, UK, December 16-18, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2629},
pages = {81--96},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40981-6\_9},
doi = {10.1007/978-3-540-40981-6\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fasec/NormanS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fasec/OehlCKS02,
author = {Fr{\'{e}}d{\'{e}}ric Oehl and
G{\'{e}}rard C{\'{e}}c{\'{e}} and
Olga Kouchnarenko and
David Sinclair},
editor = {Ali E. Abdallah and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Automatic Approximation for the Verification of Cryptographic Protocols},
booktitle = {Formal Aspects of Security, First International Conference, FASec
2002, London, UK, December 16-18, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2629},
pages = {33--48},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40981-6\_5},
doi = {10.1007/978-3-540-40981-6\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fasec/OehlCKS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fasec/Oheimb02,
author = {David von Oheimb},
editor = {Ali E. Abdallah and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Interacting State Machines: {A} Stateful Approach to Proving Security},
booktitle = {Formal Aspects of Security, First International Conference, FASec
2002, London, UK, December 16-18, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2629},
pages = {15--32},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40981-6\_4},
doi = {10.1007/978-3-540-40981-6\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fasec/Oheimb02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fasec/Paulson02,
author = {Lawrence C. Paulson},
editor = {Ali E. Abdallah and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Verifying the {SET} Protocol: Overview},
booktitle = {Formal Aspects of Security, First International Conference, FASec
2002, London, UK, December 16-18, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2629},
pages = {4--14},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40981-6\_3},
doi = {10.1007/978-3-540-40981-6\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fasec/Paulson02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fasec/Preneel02,
author = {Bart Preneel},
editor = {Ali E. Abdallah and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Cryptographic Challenges: The Past and the Future},
booktitle = {Formal Aspects of Security, First International Conference, FASec
2002, London, UK, December 16-18, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2629},
pages = {167--182},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40981-6\_14},
doi = {10.1007/978-3-540-40981-6\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fasec/Preneel02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fasec/RohrmairL02,
author = {Gordon Thomas Rohrmair and
Gavin Lowe},
editor = {Ali E. Abdallah and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Using {CSP} to Detect Insertion and Evasion Possibilities within the
Intrusion Detection Area},
booktitle = {Formal Aspects of Security, First International Conference, FASec
2002, London, UK, December 16-18, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2629},
pages = {205--220},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40981-6\_17},
doi = {10.1007/978-3-540-40981-6\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fasec/RohrmairL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fasec/Schneider02,
author = {Fred B. Schneider},
editor = {Ali E. Abdallah and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Lifting Reference Monitors from the Kernel},
booktitle = {Formal Aspects of Security, First International Conference, FASec
2002, London, UK, December 16-18, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2629},
pages = {1--2},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40981-6\_1},
doi = {10.1007/978-3-540-40981-6\_1},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fasec/Schneider02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fasec/Stepney02,
author = {Susan Stepney},
editor = {Ali E. Abdallah and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Critical Critical Systems},
booktitle = {Formal Aspects of Security, First International Conference, FASec
2002, London, UK, December 16-18, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2629},
pages = {62--70},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40981-6\_7},
doi = {10.1007/978-3-540-40981-6\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fasec/Stepney02.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-04-25 09:33 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:
