ENDL: A Logical Framework for Verifying Secure Transaction Protocols Academic Article uri icon

publication date

  • January 2005