On using PROMPT for the automatic implementation of the ISO ACSE protocol.

Published in: J. Syst. Softw. (1995)

Keyphrases

fully automatic
semi automatic
cooperative
lightweight
database
case study
efficient implementation
hardware implementation
implementation issues
cryptographic protocols