1788 search results - page 60 / 358 » Integrating Security into the Curriculum |
BPM
2003
Springer
15 years 5 months ago
2003
Springer
We present a general methodology for integrating arbitrary security requirements in the development of business processes in a both elegant and rigorous way. We show how trust rela...
ENTCS
2006
14 years 12 months ago
2006
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...
DESRIST
2009
Springer
15 years 4 months ago
2009
Springer
Information Systems Security (ISS) is critical to ensuring the integrity and credibility of digitally exchanged information in business processes. Information systems development ...
SP
2007
IEEE
15 years 6 months ago
2007
IEEE
Existing mandatory access control systems for operating systems are difficult to use. We identify several principles for designing usable access control systems and introduce the...
116
click to vote
ISHPC
1999
Springer
15 years 4 months ago
1999
Springer
Computer security is of growing importance in the increasingly networked computing environment.This work examines the issue of high-performance network security, specifically int...