DMCA

A.: Boosting model checking to analyse large ARBAC policies (2012)

Cached

Download Links

by Silvio Ranise , Anh Truong , Ro Arm
Venue:In: Security and Trust Management (STM
Citations:2 - 0 self