52 research outputs found
Parametric sequence alignment with constraints
10.1023/A:1011429504996Constraints62-3157-172CNST
Trusted principal-hosted certificate revocation
10.1007/978-3-642-22200-9_15IFIP Advances in Information and Communication Technology358 AICT173-18
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
Constrained decision diagrams
Proceedings of the National Conference on Artificial Intelligence1366-371PNAI
The problem of usable binary authentication
10.1109/SSIRI-C.2010.19SSIRI-C 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion34-3
A user-level framework for auditing and monitoring
10.1109/CSAC.2005.8Proceedings - Annual Computer Security Applications Conference, ACSAC200595-105CMSC
Search space reduction and russian doll search
Proceedings of the National Conference on Artificial Intelligence1179-184PNAI
Making AC-3 an optimal algorithm
IJCAI International Joint Conference on Artificial Intelligence316-32
- …