83 search results - page 12 / 17 » Verified enforcement of stateful information release policie... |
SACMAT
2005
ACM
15 years 3 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
ITNG
2008
IEEE
15 years 4 months ago
2008
IEEE
We propose the characteristics of a software tool that leverages specifying attack pattern details in understandable hierarchies. These hierarchies are currently manually populate...
APLAS
2003
ACM
15 years 1 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
MOBIQUITOUS
2005
IEEE
15 years 3 months ago
2005
IEEE
Ubiquitous Computing Environments feature massively distributed systems containing a large number of devices, services and applications that help end-users perform various kinds o...
112
click to vote
CCS
2011
ACM
13 years 10 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...