A coloured Petri net analysis of the Transaction Internet Protocol.

Published in: Int. J. Electron. Secur. Digit. Forensics (2010)

Keyphrases