Probabilistic Aspects: Checking Security in an Imperfect World
Attributed to:
Aspects of Security
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-15640-3_23
Publication URI: http://dx.doi.org/10.1007/978-3-642-15640-3_23
Type: Book Chapter
Book Title: Trustworthly Global Computing (2010)
Page Reference: 348-363
ISBN: 978-3-642-15639-7
ISSN: 2095-221X