Authenticity and Provability - A Formal Framework
InfraSec '02 Proceedings of the International Conference on Infrastructure Security
Verifying functions in online stock trading systems
Journal of Computer Science and Technology
Modeling and monitoring of E-commerce workflows
Information Sciences: an International Journal
On a formal framework for security properties
Computer Standards & Interfaces
A Petri net-based model for verification of obligations and accountability in cooperative systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Analysis of the SYM2 smart meter remote software download using formal methods reasoning
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systemss
| Hi-index | 0.00 |