Author of the publication

A Load Time Policy Checker for Open Multi-application Smart Cards.

, , , , and . POLICY, page 153-156. IEEE Computer Society, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

What the heck is this application doing? - A security-by-contract architecture for pervasive services., , , and . Comput. Secur., 28 (7): 566-577 (2009)DES: a Challenge Problem for Nonmonotonic Reasoning Systems, , and . CoRR, (2000)How to capture, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach., , , , and . ICAIL, page 149-153. ACM, (2007)Maintaining privacy on derived objects., , , and . WPES, page 10-19. ACM, (2005)EXPTIME tableaux for ALC., and . Artif. Intell., 124 (1): 87-138 (2000)Privacy Is Linking Permission to Purpose., and . Security Protocols Workshop, volume 3957 of Lecture Notes in Computer Science, page 179-191. Springer, (2004)Formal Verification of Cardholder Registration in SET., , , and . ESORICS, volume 1895 of Lecture Notes in Computer Science, page 159-174. Springer, (2000)Requirement Engineering Meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard., , and . ER, volume 2813 of Lecture Notes in Computer Science, page 263-276. Springer, (2003)A Method for Security Governance, Risk, and Compliance (GRC): A Goal-Process Approach., and . FOSAD, volume 6858 of Lecture Notes in Computer Science, page 152-184. Springer, (2011)Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux.. TABLEAUX, volume 1397 of Lecture Notes in Computer Science, page 217-231. Springer, (1998)