Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications (2001)
Cached
Download Links
- [www4.in.tum.de]
- [wwwbroy.informatik.tu-muenchen.de]
- DBLP
Other Repositories/Bibliography
by
Jan Jürjens
,
Guido Wimmel
| Venue: | In First IFIP conference on e-commerce, e-business, and e-government (I3E |
| Citations: | 10 - 7 self |
BibTeX
@INPROCEEDINGS{Jürjens01securitymodelling,
author = {Jan Jürjens and Guido Wimmel},
title = {Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications},
booktitle = {In First IFIP conference on e-commerce, e-business, and e-government (I3E},
year = {2001},
pages = {489--506},
publisher = {Kluwer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS.
Citations
| 1040 | Private Authentication - Abadi - 2003 |
| 872 | On the security of public key protocols - Dolev, Yao - 1983 |
| 417 | Security Engineering: A Guide to Building Dependable Distributed Systems - Anderson - 2001 |
| 252 | Why cryptosystems fail - Anderson - 1994 |
| 102 | T.: Regular model checking - Bouajjani, Jonsson, et al. - 2000 |
| 97 | The design of distributed systems: an introduction to focus. Report TUM–I9203, Institut für Informatik, Technische Universität - Broy, Dederichs, et al. - 1992 |
| 55 | Authentication and delegation with smart-cards - KAUFMAN - 1991 |
| 55 | What do we mean by entity authentication - Gollmann - 1996 |
| 48 | State of the art in electronic payment systems - Asokan, Janson, et al. - 1997 |
| 6 | The formal verification of a payment system - Anderson - 1999 |
| 1 | Electronic Purse Specifications, 2000. Business Requirements vers. 7.0, Functional Requirements vers. 6.3, Technical Specification vers.2.2, available from http://www.cepsco.com - Common |
