1679 search results - page 116 / 336 » Security Properties and CSP |
215
click to vote
IJNSEC
2008
15 years 6 months ago
2008
Most of the current security architectures for grid systems use conventional public key infrastructure (PKI) to authenticate grid members and to secure resource allocation to thes...
191
click to vote
ISCI
2008
15 years 6 months ago
2008
In this paper, we present the first certificateless undeniable signature scheme. The scheme does not suffer from the key escrow problem, which is inherent in identity based crypto...
179
click to vote
PROVSEC
2010
Springer
15 years 4 months ago
2010
Springer
Generic constructions of designated confirmer signatures follow one of the following two strategies; either produce a digital signature on the message to be signed, then encrypt th...
241
click to vote
FOSAD
2009
Springer
16 years 28 days ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
159
click to vote
MOBISEC
2009
Springer
16 years 28 days ago
2009
Springer
The Belgian Electronic Identity Card was introduced in 2002. The card enables Belgian citizens to prove their identity digitally and to sign electronic documents. Today, only a lim...