3115 search results - page 397 / 623 » Synthesizing Secure Protocols |
172
click to vote
EUROCRYPT
2010
Springer
15 years 11 months ago
2010
Springer
We construct the first public-key encryption scheme that is proven secure (in the standard model, under standard assumptions) even when the attacker gets access to encryptions of ...
200
click to vote
GD
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. As the number of devices connected to the internet continues to grow rapidly and software systems are being increasingly deployed on the web, security and privacy have be...
172
click to vote
PKC
2009
Springer
16 years 7 months ago
2009
Springer
We take a step towards a more realistic modeling of personal digital signatures, where a human user, his mobile equipment, his PC and a server are all considered as independent pla...
146
click to vote
ACSD
2003
IEEE
15 years 12 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
149
click to vote
IFIP
2003
Springer
15 years 11 months ago
2003
Springer
The Dynamic Device Association (DDA) framework presented in this paper provides service discovery and secure device access for mobile users. We discuss scenarios and requirements f...