Affiliation:
1. Colorado State University, Fort Collins, CO, USA
Funder
National Institute of Standards and Technology
Furuno Electric Company
CableLabs
National Science Foundation
SecureNok
Air Force Research Laboratory
Reference5 articles.
1. Deena M Barakah and Muhammad Ammad-uddin. A survey of challenges and applications of wireless body area network (WBAN) and role of a virtual doctor server in existing architecture. In Proc. of ISMS, pages 214--219, 2012.
2. Vincent C Hu, David Ferraiolo, Rick Kuhn, Arthur R Friedman, Alan J Lang, Margaret M Cogdell, Adam Schnitzer, Kenneth Sandlin, Robert Miller, Karen Scarfone, et al. Guide to Attribute Based Access Control (ABAC) Definition and Considerations (draft). NIST special publication, 800(162), 2013.
3. Kurt Jensen and Lars M Kristensen. Timed Coloured Petri Nets. In Coloured Petri Nets, pages 231--255. 2009.
4. Hind Rakkay and Hanifa Boucheneb. Security Analysis of Role Based Access Control Models using Colored Petri Nets and CPN Tools. 4:149--176, 2009.
5. Manachai Toahchoodee and Indrakshi Ray. Using Alloy to Analyze a Spatio- Temporal Access Control Model Supporting Delegation. IET Information Security, 3(3):75--113, 2009.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献