116 search results - page 2 / 24 » CoPS - Checker of Persistent Security |
POS
1987
Springer
13 years 8 months ago
1987
Springer
CL
2004
Springer
13 years 4 months ago
2004
Springer
CSFW
2002
IEEE
13 years 10 months ago
2002
IEEE
We study a security property for processes in dynamic contexts, i.e., contexts that can be reconfigured at runtime. The security property that we propose in this paper, named Per...
FAST
2009
13 years 2 months ago
2009
As increasing amounts of valuable information are produced and persist digitally, the ability to determine the origin of data becomes important. In science, medicine, commerce, an...
USS
2008
13 years 7 months ago
2008
Implementation-level vulnerabilities are a persistent threat to the security of computing systems. We propose using the results of partially-successful verification attempts to pl...