Visual model-driven design, verification and implementation of security protocols
2006 ◽
Vol 17
(6)
◽
pp. 528-550
◽
Keyword(s):
Keyword(s):