ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Modeling and analysis of authentication protocols using Colored Petri Nets
2009 3rd International Conference on Anti-counterfeiting, Security, and Identification in Communication
◽
10.1109/icasid.2009.5276975
◽
2009
◽
Author(s):
Yang Xu
◽
Xiaoyao Xie
Keyword(s):
Petri Nets
◽
Colored Petri Nets
◽
Authentication Protocols
◽
Modeling And Analysis
Download Full-text
Related Documents
Cited By
References
Modeling and Analysis of Files transmitting based on Extended Colored Petri nets ?
Journal of Convergence Information Technology
◽
10.4156/jcit.vol7.issue2.21
◽
2012
◽
Vol 7
(2)
◽
pp. 174-183
Author(s):
Huan Wang
◽
Wen Song
Keyword(s):
Petri Nets
◽
Colored Petri Nets
◽
Modeling And Analysis
Download Full-text
Formal Modeling and Analysis of SIP Using Colored Petri Nets
2011 7th International Conference on Wireless Communications, Networking and Mobile Computing
◽
10.1109/wicom.2011.6040445
◽
2011
◽
Cited By ~ 2
Author(s):
Yunli Bai
◽
Xinming Ye
◽
Yuanfei Ma
Keyword(s):
Petri Nets
◽
Colored Petri Nets
◽
Formal Modeling
◽
Modeling And Analysis
Download Full-text
Modeling and Analysis of Protein Synthesis and DNA Mutation Using Colored Petri Nets
IEEE Access
◽
10.1109/access.2018.2825782
◽
2018
◽
Vol 6
◽
pp. 22386-22400
◽
Cited By ~ 2
Author(s):
Jinliang Yang
◽
Haitao Pu
◽
Jian Lian
◽
Jason Gu
◽
Mingqu Fan
Keyword(s):
Protein Synthesis
◽
Petri Nets
◽
Colored Petri Nets
◽
Modeling And Analysis
◽
Dna Mutation
Download Full-text
Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets
IEEE Access
◽
10.1109/access.2018.2833213
◽
2018
◽
Vol 6
◽
pp. 27356-27372
◽
Cited By ~ 1
Author(s):
Maria Emilia Cambronero
◽
Hermenegilda Macia
◽
Valentin Valero
◽
Luis Orozco-Barbosa
Keyword(s):
Petri Nets
◽
Communication Protocol
◽
Colored Petri Nets
◽
Modeling And Analysis
◽
Timed Colored Petri Nets
Download Full-text
Modeling and Analysis of Electronic Commerce Protocols Using Colored Petri Nets
Journal of Software
◽
10.4304/jsw.6.7.1181-1187
◽
2011
◽
Vol 6
(7)
◽
Author(s):
Yang Xu
◽
Xiao Yao Xie
◽
Huan Guo Zhang
Keyword(s):
Electronic Commerce
◽
Petri Nets
◽
Colored Petri Nets
◽
Modeling And Analysis
Download Full-text
Formal Modeling and Analysis of HMIPv6 Using Colored Petri Nets
2010 International Conference on Communications and Mobile Computing
◽
10.1109/cmc.2010.222
◽
2010
◽
Cited By ~ 2
Author(s):
Tao Sun
◽
Xinming Ye
◽
Jing Liu
◽
Meng Yang
Keyword(s):
Petri Nets
◽
Colored Petri Nets
◽
Formal Modeling
◽
Modeling And Analysis
Download Full-text
Modeling and Analysis of Security Protocols Using Colored Petri Nets
Journal of Computers
◽
10.4304/jcp.6.1.19-27
◽
2011
◽
Vol 6
(1)
◽
Cited By ~ 14
Author(s):
Yang Xu
◽
Xiaoyao Xie
Keyword(s):
Petri Nets
◽
Security Protocols
◽
Colored Petri Nets
◽
Modeling And Analysis
Download Full-text
Modeling and analysis of Flexible Manufacture Systems through hierarchical and Colored Petri Nets
2008 IEEE International Conference on Industrial Technology
◽
10.1109/icit.2008.4608520
◽
2008
◽
Cited By ~ 1
Author(s):
Marcelo Aguiar
◽
Raimundo Barreto
◽
Ruiter Caldas
◽
Joao Edgar
◽
Chaves Filho
Keyword(s):
Petri Nets
◽
Colored Petri Nets
◽
Modeling And Analysis
◽
Flexible Manufacture
Download Full-text
Colored Petri nets for multiscale systems biology - Current modeling and analysis capabilities in snoopy
2013 7th International Conference on Systems Biology (ISB)
◽
10.1109/isb.2013.6623788
◽
2013
◽
Author(s):
Fei Liu
◽
Monika Heiner
◽
Ming Yang
Keyword(s):
Systems Biology
◽
Petri Nets
◽
Colored Petri Nets
◽
Modeling And Analysis
◽
Multiscale Systems
Download Full-text
Modeling and analysis of inventory system by using Colored Petri nets
2008 IEEE International Conference on Service Operations and Logistics, and Informatics
◽
10.1109/soli.2008.4686612
◽
2008
◽
Author(s):
Xiaochun Lu
◽
Dongyuan Liu
◽
Zhiwei Ni
Keyword(s):
Petri Nets
◽
Inventory System
◽
Colored Petri Nets
◽
Modeling And Analysis
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close