129 search results - page 1 / 26 » PCAL: Language Support for Proof-Carrying Authorization Syst... |
ESORICS
2009
Springer
14 years 5 months ago
2009
Springer
By shifting the burden of proofs to the user, a proof-carrying authorization (PCA) system can automatically enforce complex access control policies. Unfortunately, managing those p...
CSFW
2004
IEEE
13 years 8 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
CCS
2007
ACM
13 years 10 months ago
2007
ACM
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them wi...
JUCS
2007
13 years 4 months ago
2007
: The modelling of educational processes and their operational support is a key aspect in the construction of more effective e-learning applications. Instructional models are usual...
ICALT
2007
IEEE
13 years 10 months ago
2007
IEEE
This research proposes a picture card dictionary authoring system to support young language learners perform communicative tasks using daily-life words, without teaching them the ...