947 search results - page 76 / 190 » Provable Implementations of Security Protocols |
ICISC
2008
15 years 1 months ago
2008
Secure Evaluation of Private Functions (PF-SFE) allows two parties to compute a private function which is known by one party only on private data of both. It is known that PF-SFE c...
113
click to vote
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
— This paper presents the architecture, design and implementation of an email server that runs on a bare PC without an operating system or hard-disk. In addition to providing sta...
104
click to vote
SAINT
2003
IEEE
15 years 5 months ago
2003
IEEE
A public key infrastructure is generally (and effectively) used for cryptographically secure authentication in the networks. Ad-hoc networks are formed in haphazard manner. Securi...
100
click to vote
CIIT
2004
15 years 1 months ago
2004
Vulnerabilities arising from in-secure network protocol design and implementation present significant challenges to the network protocol community. Yet much of the focus is on sof...