Verification logic for secure protocols Academic Article uri icon

authors

publication date

  • February 1, 2000