@inproceedings{BC2010compromise, author = {David Basin and Cas Cremers}, title = {Modeling and Analyzing Security in the Presence of Compromising Adversaries}, year = {2010}, pages = {340-356}, volume = {6345}, booktitle = {Computer Security - ESORICS 2010}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, }