3811 search results - page 478 / 763 » The Safe-Tcl Security Model |
194
click to vote
CSREASAM
2006
15 years 8 months ago
2006
Current computer security systems are based on the premise that once a user presents valid credentials to the authentication system (e.g. valid ID and password), they are granted ...
180
click to vote
FAC
2008
15 years 6 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
206
click to vote
PQCRYPTO
2010
15 years 10 months ago
2010
Abstract. We propose a variant of the “bonsai tree” signature scheme, a latticebased existentially unforgeable signature scheme in the standard model. Our construction offers ...
133
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Integrated Delivery Systems (IDSs) now become a primary means of care provision in healthcare domain. However, existing password systems (under either the single-server model or t...
176
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
In 1998, Blaze, Bleumer, and Strauss suggested a cryptographic primitive termed proxy re-signature in which a proxy transforms a signature computed under Alice's secret key in...