18094 search results - page 221 / 3619 » The Architecture of Secure Systems |
188
click to vote
HAIS
2008
Springer
15 years 8 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...
185
click to vote
SP
1997
IEEE
15 years 11 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...
175
click to vote
COMPSAC
2003
IEEE
16 years 16 days 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...
203
click to vote
RE
2004
Springer
16 years 18 days ago
2004
Springer
In this work, we propose a framework for quantifying non-functional requirements (NFRs). This framework uses quality characteristics of the execution domain, application domain an...
148
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
: Business models involving buyers of digital goods in the distribution process are called superdistribution schemes. We review the state-of-the art of research and application of ...