Cooperative Model Reconstruction for Cryptographic Protocols Using Visual Languages.

Benjamin Weyers Wolfram Luther Nelson Baloian

Published in: CRIWG (2009)

Keyphrases

cooperative
metadata
high level
conceptual model
knowledge base
expert systems
low cost