Proceedings of CRYPTO 84 on Advances in cryptology
The Interrogator: Protocol Secuity Analysis
IEEE Transactions on Software Engineering - Special issue on computer security and privacy
Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching
IEEE Transactions on Software Engineering
Structure in the S-boxes of the DES
Proceedings on Advances in cryptology---CRYPTO '86
Protocol Specification, Testing and Verification: Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, Organized by IBM Research, Ruschlikon, Switzerland, 31 May-2 June, 1983
INATEST: an interactive environment for testing formal specifications
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models
IEEE Transactions on Software Engineering
Testing Formal Specifications to Detect Design Errors
IEEE Transactions on Software Engineering
A formal approach to security architectures
EUROCRYPT'91 Proceedings of the 10th annual international conference on Theory and application of cryptographic techniques
| Hi-index | 0.00 |