Login / Signup
Verified implementations of the information card federated identity-management protocol.
Karthikeyan Bhargavan
Cédric Fournet
Andrew D. Gordon
Nikhil Swamy
Published in:
AsiaCCS (2008)
Keyphrases
</>
identity management
digital libraries
information technology
information sources
sensor data
databases
artificial intelligence
search engine
case study
data analysis
computational intelligence
context dependent