Formal security analysis of automated trust negotiation.

Xinxin Liu Shaohua Tang Kai Wei

Published in: ICMLC (2010)

Keyphrases

security analysis
automated trust negotiation
access control policies
public key
smart card
access control
security requirements
conflict resolution
encryption scheme
user authentication
trust evaluation
security policies
lightweight
databases
data model
multi agent
information systems