39 search results - page 7 / 8 » Formal Analysis of Key Integrity in PKCS |
ASPLOS
2006
ACM
13 years 11 months ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
AINA
2009
IEEE
14 years 5 days ago
2009
IEEE
This paper presents a modeling method particularly suited to analyze interactions between Message Passing Interface MPI library execution and distributed cache coherence protocol....
RTAS
2007
IEEE
13 years 11 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
CAISE
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
CVPR
2010
IEEE
13 years 11 months ago
2010
IEEE
The accuracy of optical flow estimation algorithms has been improving steadily as evidenced by results on the Middlebury optical flow benchmark. The typical formulation, however...