Secure systems development based on the common criteria: the PalME project
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Secure systems development based on the common criteria: the PalME project
ACM SIGSOFT Software Engineering Notes
UMLsec: Extending UML for Secure Systems Development
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Encapsulating Rules of Prudent Security Engineering
Revised Papers from the 9th International Workshop on Security Protocols
Formally Testing Fail-Safety of Electronic Purse Protocols
Proceedings of the 16th IEEE international conference on Automated software engineering
Sound development of secure service-based systems
Proceedings of the 2nd international conference on Service oriented computing
Developing high-assurance secure systems with UML: a smartcard-based purchase protocol
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Model-Based analysis of money accountability in electronic purses
WINE'05 Proceedings of the First international conference on Internet and Network Economics
| Hi-index | 0.00 |