SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
ACM Transactions on Computer Systems (TOCS)
A logic for reasoning about security
ACM Transactions on Computer Systems (TOCS)
Dynamic analysis of security protocols
Proceedings of the 2000 workshop on New security paradigms
New phase 1 exchange mode for IKE framework
ACM SIGOPS Operating Systems Review
Revised Papers from the 8th International Workshop on Security Protocols
Recent issues in reasoning about knowledge
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
| Hi-index | 0.00 |