Inproceedings,
Formal Development of Authentication Protocols.
P. Bieber, and N. Boulahia-Cuppens.Refine, page 80-102. Springer, (1994)
Meta data
- BibTeX key
- conf/refine/BieberB94
- entry type
- inproceedings
- booktitle
- Refine
- year
- 1994
- pages
- 80-102
- publisher
- Springer
- series
- Workshops in Computing
- crossref
- conf/refine/1994
- ee
- https://doi.org/10.1007/978-1-4471-3240-0_5
- isbn
- 978-3-540-19886-4
- url
- http://dblp.uni-trier.de/db/conf/refine/refine1994.html#BieberB94
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/refine/BieberB94
%A Bieber, Pierre
%A Boulahia-Cuppens, Nora
%B Refine
%D 1994
%E Till, David
%I Springer
%K dblp
%P 80-102
%T Formal Development of Authentication Protocols.
%U http://dblp.uni-trier.de/db/conf/refine/refine1994.html#BieberB94
%@ 978-3-540-19886-4
@inproceedings{conf/refine/BieberB94,
added-at = {2019-08-20T00:00:00.000+0200},
author = {Bieber, Pierre and Boulahia-Cuppens, Nora},
biburl = {https://www.bibsonomy.org/bibtex/274e134d4a467b91e9485b8ece01d62ec/dblp},
booktitle = {Refine},
crossref = {conf/refine/1994},
editor = {Till, David},
ee = {https://doi.org/10.1007/978-1-4471-3240-0_5},
interhash = {36fd59d33d778e8ec749ed19f0961fba},
intrahash = {74e134d4a467b91e9485b8ece01d62ec},
isbn = {978-3-540-19886-4},
keywords = {dblp},
pages = {80-102},
publisher = {Springer},
series = {Workshops in Computing},
timestamp = {2019-08-21T11:44:19.000+0200},
title = {Formal Development of Authentication Protocols.},
url = {http://dblp.uni-trier.de/db/conf/refine/refine1994.html#BieberB94},
year = 1994
}