An adversary-centric logic of security and authenticity

• Authors:

• Scott David Dexter;Kevin J. Compton

• Affiliations:

• -;-

• Venue:
• An adversary-centric logic of security and authenticity
• Year:
• 1998