18697 search results - page 209 / 3740 » Systemic Security Management |
135
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
How humans behave when faced with a disaster, natural or man-made, can be exploited automatically by news-aware malicious software. We introduce weather worms, worms that can auto...
160
Voted
DEBU
2007
15 years 6 months ago
2007
Secure chips, e.g. present in smart cards, TPM, USB dongles are now ubiquitous in applications with strong security requirements. Secure chips host personal data that must be care...
146
Voted
ITRUST
2005
Springer
15 years 11 months ago
2005
Springer
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...
201
click to vote
WORDS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
170
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...