BibTex-formatted data

To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not contain all macros that BibTex supports.

BibTex-formatted data @Techreport{ Basit Shafiq, title = "Petri-net model for verification of RBAC Policies", author = "Basit Shafiq, James B. D. Joshi, Arif Ghafoor", institution = "Purdue University", organization = "CERIAS", school = "Electrical and Computer Engienering", affiliation = "Purdue University", keywords = "role based access control, security, petri-net, security policy, verification ", language = "English", subject = "Specification and verification of ", }