1150 search results - page 40 / 230 » Specifying Information-Flow Controls |
BIRTHDAY
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
NTMS
2008
IEEE
14 years 3 months ago
2008
IEEE
—We propose an access control model that extends RBAC (Role-Based Access Control) to take time and location into account, and use term rewriting systems to specify access control...
CCE
2004
13 years 9 months ago
2004
Multimodel analysis and controller design for nonlinear processes via gap metric is discussed. It is shown that the loop-shaping H approach can integrate the procedure of selectin...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
Abstract. In this chapter we discuss the susceptibility of critical information infrastructures to computer-borne attacks and faults, mainly due to their largely computerized natur...
ACSAC
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper questions the status quo regarding Security Management (SM) tools that function in an isolated, monolithic fashion. People work best by interacting with others and with...