?url_ver=Z39.88-2004&rft_id=10.1109%2FGCCE.2016.7800491&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aufirst=Wenshan&rft.au=Tang%2C+Wenshan&rft.aulast=Tang&rft.title=On+verification+of+implementation+of+security+specification+with+Petri+nets'+protocol+inheritance&rft.isbn=978-150902333-2&rft.date=2016&rft.genre=proceeding