785 search results - page 104 / 157 » A Calculus for Trust Management |
158
click to vote
PODS
2010
ACM
15 years 10 months ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...
210
click to vote
AC
1992
Springer
15 years 9 months ago
1992
Springer
Logic and databases have gone a long way together since the advent of relational databases. Already the rst basic query languages for relational databases beside relational algebra...
171
click to vote
SPW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract Fabio Massacci1 and Nicola Zannone1 Department of Information and Communication Technology University of Trento - Italy {massacci,zannone} at dit.unitn.it The last years h...
163
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Identity theft has fostered to a major security problem on the Internet, in particular stealing passwords for web applications through phishing and malware. We present TruWallet, ...
153
click to vote
IDTRUST
2009
ACM
16 years 11 days ago
2009
ACM
In this paper, we describe the challenges in using Personal Identity Verification (PIV) cards and PIV-like cards as federated identities to authenticate to US Federal government f...