Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Accountability in Electronic Commerce Protocols by
  • Kailar, Rajashekar
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Request article
A Theory for Protocol Validation by
  • Holzmann, Gerard J
Source: IEEE Transactions on Computers
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Request article
Pages