UML specification of access control policies and their formal verification

By Koch Manuel   Parisi-Presicce Francesco  

Software and Systems Modeling (SoSyM), Vol. 5, Iss. 4, 2006-12 ,pp. : 429-447

Springer Publishing Company

Access to resources Recommend Favorite

Access control policies and languages

By Vimercati Sabrina De Capitani Di   Foresti Sara   Samarati Pierangela   Jajodia Sushil  

International Journal of Computational Science and Engineering, Vol. 3, Iss. 2, 2007-11 ,pp. : 94-102

Inderscience Publishers

Access to resources Recommend Favorite

Automatic NCES-based specification and SESA-based verification of feasible control components in benchmark production systems

By Khalgui Mohamed   Hanisch Hans-Michael  

International Journal of Modelling, Identification and Control, Vol. 12, Iss. 3, 2011-04 ,pp. : 223-243

Inderscience Publishers

Access to resources Recommend Favorite

A new key assignment scheme for enforcing complicated access control policies in hierarchy

By Lin I.-C.   Hwang M.-S.   Chang C.-C.  

Future Generation Computer Systems, Vol. 19, Iss. 4, 2003-05 ,pp. : 457-462

Elsevier

Access to resources Recommend Favorite

Middleware for efficient and confidentiality-aware federation of access control policies

By Decat Maarten   Lagaisse Bert   Joosen Wouter  

Journal of Internet Services and Applications, Vol. 5, Iss. 1, 2014-12 ,pp. : 1-15

Springer Publishing Company

Access to resources Recommend Favorite