14 search results - page 3 / 3 » The Quest for Correct Systems: Model Checking of Diagrams an... |
SP
2006
IEEE
13 years 11 months ago
2006
IEEE
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
EDOC
2006
IEEE
13 years 11 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
FASE
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
COMPSAC
2009
IEEE
13 years 9 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...