Logical Foundations for Reasoning about Trust in Secure Digital Communication.

Published in: Australian Joint Conference on Artificial Intelligence (2001)

Keyphrases

logical foundations
trusted computing
active databases
security services
trust model
security requirements
trust relationships
public key infrastructure
relational databases
database technology
security issues
electronic transactions
information systems
software engineering
temporal information
security protocols