2067 search results - page 244 / 414 » Logics of propositional control |
164
click to vote
MCETECH
2009
Springer
16 years 1 months ago
2009
Springer
Access control rules are currently administered by highly qualified personnel. Thus, the technical barrier that specialized access control languages represent naturally prevents th...
186
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
157
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
To solve the security of access to meta-data in computational Grids, by modifying model BLP, a secure access model named GBLP is introduced to support access control to Grid catalo...
155
click to vote
SCS
2003
15 years 8 months ago
2003
SIL's (Safety Integrity Levels) are used by IEC 61508:1998 [1] to characterise the required functional safety of computer control systems. For example, SIL 4, the highest rat...
171
click to vote
ADC
2009
Springer
16 years 1 months ago
2009
Springer
Access control has been studied for sometime, and there are a number of theories and techniques for handling access control for single or centralised systems; however, unique and ...