1679 search results - page 126 / 336 » Security Properties and CSP |
162
click to vote
COMPSAC
2008
IEEE
16 years 26 days ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
162
click to vote
ACNS
2008
Springer
16 years 23 days ago
2008
Springer
We describe two new paradigms on how to obtain ordinary signatures that are secure against existential forgery under adaptively chosen message attacks (fully-secure, in short), fro...
145
click to vote
ISCA
2007
IEEE
16 years 21 days ago
2007
IEEE
Virtualization has become much more important throughout the computer industry both to improve security and to support multiple workloads on the same hardware with effective isola...
215
click to vote
SOCA
2007
IEEE
16 years 20 days ago
2007
IEEE
Mobile agent technology and Web Service technology compensate each other and play very important roles in eservice applications. The mechanism of Web Services technology naturally...
153
click to vote
ACSAC
2006
IEEE
16 years 14 days ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...