Sciweavers

11 search results - page 3 / 3
» Building a resource for studying translation shifts
Sort
View
ICDE
2007
IEEE
134views Database» more  ICDE 2007»
16 years 11 days ago
Apply Model Checking to Security Analysis in Trust Management
Trust management is a form of access control that uses delegation to achieve scalability beyond a single organization or federation. However, delegation can be difficult to contr...
Mark Reith, Jianwei Niu, William H. Winsborough