eprintid: 20404
rev_number: 3
eprint_status: archive
userid: 1
dir: disk0/00/02/04/04
datestamp: 2025-11-06 06:28:00
lastmod: 2025-11-06 06:28:00
status_changed: 2025-11-06 06:28:00
type: conference_item
metadata_visibility: show
creators_name: Tang, Wenshan
creators_name: Gou, Zhaolong
creators_name: Ahmadon, Mohd Anuaruddin Bin
creators_name: Yamaguchi, Shingo
title: On verification of implementation of security specification with Petri nets' protocol inheritance
ispublished: pub
note: Cited by: 2
date: 2016
publisher: Institute of Electrical and Electronics Engineers Inc.
official_url: https://www.scopus.com/inward/record.uri?eid=2-s2.0-85010282284&doi=10.1109%2fGCCE.2016.7800491&partnerID=40&md5=681991adf64d90550b37e616a4c4b379
id_number: 10.1109/GCCE.2016.7800491
full_text_status: none
publication: 2016 IEEE 5th Global Conference on Consumer Electronics, GCCE 2016
refereed: TRUE
isbn: 978-150902333-2
citation:   Tang, Wenshan and Gou, Zhaolong and Ahmadon, Mohd Anuaruddin Bin and Yamaguchi, Shingo  (2016) On verification of implementation of security specification with Petri nets' protocol inheritance.  In: UNSPECIFIED.