3811 search results - page 750 / 763 » The Safe-Tcl Security Model |
83
Voted
IJNSEC
2006
14 years 11 months ago
2006
It has always been a critical issue to find efficient methods for fast revocation of a user's identity in identity (ID)based cryptosystems. Unfortunately, none of the previou...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. Identity-based encryption (IBE) schemes are usually used in multiplePKG environments — on the one hand, each administrative domain (e.g., a relatively small and close o...
JCS
2008
14 years 11 months ago
2008
We present a novel technique, known as the non-delegatable authority (NDA), for distributing authority to unconfined subjects in capability systems that prevents them from sharing...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
We consider the problem of Adverse Selection and optimal derivative design within a Principal-Agent framework. The principal’s income is exposed to non-hedgeable risk factors ar...
108
click to vote
JFP
2008
14 years 11 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...