1150 search results - page 126 / 230 » Specifying Information-Flow Controls |
WETICE
2008
IEEE
14 years 2 months ago
2008
IEEE
The Bell-LaPadula security model is a hybrid model that combines mandatory access controls and discretionary access controls. The Bell-LaPadula security model has been widely acce...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
– With our proposed decomposition into layers, a generic framework leading to the reuse of previously produced software and the extraction of useful portions can be achieved. The...
NSPW
2006
ACM
14 years 2 months ago
2006
ACM
This work explores issues of computational disclosure control. We examine assumptions in the foundations of traditional problem statements and abstract models. We offer a comprehe...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
Data flow and FSMs are used intensively to specify real-time systems in the field of mechatronics. Their implementation in FPGAs is discussed against the background of dynamic rec...
ACSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
The Role-Based Access Control (RBAC) model is traditionally used to manually assign users to appropriate roles, based on a specific enterprise policy, thereby authorizing them to ...