Binder, a logic-based security language

This publication has 8 references indexed in Scilit:

• A logic for SDSI's linked local name spaces: preliminary version
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Decentralized trust management
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• On SDSI's linked local name spaces
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• SD3: a trust management system with certified evaluation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Proof-carrying authentication
  Published by Association for Computing Machinery (ACM) ,1999
• Prudent engineering practice for cryptographic protocols
  IEEE Transactions on Software Engineering, 1996
• Programming in Prolog
  Published by Springer Nature ,1987
• Non-monotonic logic I
  Artificial Intelligence, 1980