Login / Signup
San Choosang
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Network Protocols
Smart Card
Petri Net
Security Analysis
Top Venues
J. Comput.
</>
Publications
</>
San Choosang
,
Steven Gordon
A Coloured Petri Net Methodology and Library for Security Analysis of Network Protocols.
J. Comput.
9 (2) (2014)