Software Security
Publication Types:
Structural Analysis of the Check Point Pattern
Design PatternsDevelopment ToolsFormal MethodsSoftware EngineeringSoftware Security
3rd International Workshop on Cyberpatterns 2014, in conjunction with 8th Int'l Symp. Service-Oriented System Engineering—SOSE 2014. Oxford, UK: IEEE Computer Society Press
Publication year: 2014