1843 search results - page 42 / 369 » Securing Class Initialization |
125
click to vote
IANDC
2008
15 years 2 months ago
2008
Recently, attention has been given to formally characterize security policies that are enforceable by different kinds of security mechanisms. A very important research problem is ...
106
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...
NSDI
2008
15 years 4 months ago
2008
We present the design of a user study for comparing the security of two registration mechanisms for initializing credentials in machine authentication protocols, such as SiteKey. ...
105
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
—In this work, we prove that a positive secure degree of freedom is achievable for a large class of real Gaussian channels as long as the channel is not degraded and the channel ...
108
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Despite general awareness of the importance of keeping one's system secure, and widespread availability of consumer security technologies, actual investment in security remai...