Characterizing protocol interaction using metamodeling methodology.

Ling Chen Bing Wu Zhiwei Hu Jiahong Liang

Published in: WCNIS (2010)

Keyphrases

human computer interaction
metamodel
design methodology
security protocols
user interaction
lightweight
development process
communication protocol
tcp ip
data sets
data mining
digital libraries
petri net
multi party
formal analysis
coloured petri nets