A verification model for electronic transaction protocols Academic Article uri icon

publication date

  • December 1, 2004