537 search results - page 85 / 108 » A threat-driven approach to modeling and verifying secure so... |
168
click to vote
IEEEARES
2007
IEEE
16 years 11 days ago
2007
IEEE
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
176
Voted
ACSAC
2007
IEEE
16 years 13 days ago
2007
IEEE
Integrity measurements provide a means by which distributed systems can assess the trustability of potentially compromised remote hosts. However, current measurement techniques si...
161
click to vote
B
2007
Springer
16 years 8 days ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
157
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
296
Voted
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...