3811 search results - page 360 / 763 » The Safe-Tcl Security Model |
156
click to vote
GCC
2004
Springer
16 years 5 days ago
2004
Springer
In the Grid computing model a remote service is provided by a resource owner to a client. The resource owner executes a client job and charges the client for a corresponding fee. I...
173
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...
160
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
Composition theorems in simulation-based approaches allow to build complex protocols from sub-protocols in a modular way. However, as first pointed out and studied by Canetti and ...
158
click to vote
JUCS
2007
15 years 6 months ago
2007
At Eurocrypt 2005, Boneh, Boyen and Goh presented a constant size ciphertext hierarchical identity based encryption (HIBE) protocol. Our main contribution is to present a variant ...
171
click to vote
DEXAW
2007
IEEE
15 years 10 months ago
2007
IEEE
Most of the security proposals in m-commerce scenarios have been based on a classical payment model, which basically establishes relationships across domains among customers and me...