Login / Signup
The Formal Development of a Secure Transaction Mechanism.
Paul Smith
Richard Keighley
Published in:
VDM Europe (1) (1991)
Keyphrases
</>
database
software engineering
case study
decision support
web services
computational model