Authentication in distributed systems: theory and practice
ACM Transactions on Computer Systems (TOCS)
A Practical Methodology for the Formal Verification of RISC Processors
Formal Methods in System Design
A method for obtaining digital signatures and public-key cryptosystems
Communications of the ACM
Symbolic Model Checking
Handbook of Applied Cryptography
Handbook of Applied Cryptography
The Formal Design of 1M-gate ASICs
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
SCR*: A Toolset for Specifying and Analyzing Software Requirements
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Discussion: strike back: offensive actions in information warfare
Proceedings of the 1999 workshop on New security paradigms
Establishing the business value of network security using analytical hierarchy process
Creating business value with information technology
Artificial Intelligence in Medicine
| Hi-index | 48.23 |