2687 search results - page 79 / 538 » Formal Analysis of PKCS |
123
Voted
CC
2009
Springer
14 years 10 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
103
click to vote
ARESEC
2011
14 years 18 days ago
2011
—We formalise in a theorem prover the notion of provable anonymity proposed by Garcia et al. Our formalization relies on inductive definitions of message distinguish ability and...
112
click to vote
CLEF
2011
Springer
14 years 17 days ago
2011
Springer
Abstract This paper describes the University of Sheffield entry for the 3rd International Competition on Plagiarism Detection which attempted the monolingual external plagiarism d...
104
Voted
SECURWARE
2008
IEEE
15 years 7 months ago
2008
IEEE
The Session Initiation Protocol (SIP) is increasingly used as a signaling protocol for administrating Voice over IP (VoIP) phone calls. SIP can be configured in several ways so t...
114
click to vote
ASWEC
2005
IEEE
15 years 6 months ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...