Extending BAN logic for reasoning with modern PKI-based protocols

10.1109/NPC.2008.86Proceedings - 2008 IFIP International Conference on Network and Parallel Computing, NPC 2008190-19

Quantifying the effects of more timely certificate revocation on lightweight mobile devices

10.1109/Metrisec.2011.17Proceedings - 2011 3rd International Workshop on Security Measurements and Metrics, Metrisec 201131-4

Trusted principal-hosted certificate revocation

10.1007/978-3-642-22200-9_15IFIP Advances in Information and Communication Technology358 AICT173-18

Establishing software integrity trust: A survey and lightweight authentication system for windows

10.4018/978-1-61520-682-7.ch004Trust Modeling and Management in Digital Environments: From Social Concept to System Development78-10

A lightweight binary authentication system for windows

10.1007/978-0-387-09428-1_19IFIP International Federation for Information Processing263295-31