Probabilistic Aspects: Checking Security in an Imperfect World

Chris Hankin, Flemming Nielson, Hanne Riis Nielson

Research output: Contribution to journal › Conference article › Research › peer-review

Original language	English
Book series	Lecture Notes in Computer Science
Volume	6084
Pages (from-to)	348-363
DOIs	https://doi.org/10.1007/978-3-642-15640-3_23
Publication status	E-pub ahead of print - 2010

Access to Document

@inproceedings{cdcb3a1b6d274a8a94fc4fbc1b46ccba,

title = "Probabilistic Aspects: Checking Security in an Imperfect World",

author = "Chris Hankin and Flemming Nielson and Nielson, \{Hanne Riis\}",

year = "2010",

doi = "10.1007/978-3-642-15640-3\_23",

language = "English",

volume = "6084",

pages = "348--363",

journal = "Lecture Notes in Computer Science",

issn = "1611-3349",

publisher = "Springer Science and Business Media Deutschland GmbH",

}

TY - GEN

T1 - Probabilistic Aspects: Checking Security in an Imperfect World

AU - Hankin, Chris

AU - Nielson, Flemming

AU - Nielson, Hanne Riis

PY - 2010

Y1 - 2010

U2 - 10.1007/978-3-642-15640-3_23

DO - 10.1007/978-3-642-15640-3_23

M3 - Conference article

SN - 1611-3349

VL - 6084

SP - 348

EP - 363

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -