12637 search results - page 165 / 2528 » Security for Extensible Systems |
IAAI
1990
13 years 10 months ago
1990
Computer security auditing constitutes an important part of any organization's security procedures. Because of the many inadequacies of currently used manual methods, thoroug...
HAIS
2008
Springer
13 years 10 months ago
2008
Springer
This paper presents a multi-agent system for security control on industrial environments. The system uses a set of wireless technologies and software agents which integrate reasoni...
SP
1997
IEEE
14 years 1 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
COMPSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
ESORICS
2009
Springer
14 years 9 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...