3811 search results - page 83 / 763 » The Safe-Tcl Security Model |
SP
1991
IEEE
15 years 3 months ago
1991
IEEE
CCS
2008
ACM
15 years 1 months ago
2008
ACM
AFRICACRYPT
2009
Springer
15 years 6 months ago
2009
Springer
We propose a generic modelling technique that can be used to extend existing frameworks for theoretical security analysis in order to capture the use of timestamps. We apply this t...
111
click to vote
PKC
2012
Springer
13 years 2 months ago
2012
Springer
ded abstract of this work will appear in Public Key Cryptography — PKC 2012. This is the full version. We propose a general framework that converts (ordinary) signature schemes ...