Verifying Identities (extended abstract).

Sridhar Rajagopalan Leonard J. Schulman

Published in: FOCS (1996)

Keyphrases

extended abstract
model checking
artificial intelligence
information systems
fine grained
knowledge base
natural language
user interaction
mobile phone
temporal logic