A Formal Analysis of Some Properties of Kerberos 5 Using MSR.

Frederick Butler Iliano Cervesato Aaron D. Jaggard Andre Scedrov

Published in: CSFW (2002)

Keyphrases

formal analysis
formal methods
agent model
data sets
neural network
ban logic
computer vision
action recognition
object oriented
knowledge acquisition