1801 search results - page 128 / 361 » Implementation-Oriented Secure Architectures |
SACMAT
2006
ACM
14 years 2 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
NSPW
2004
ACM
14 years 1 months ago
2004
ACM
Current models of Internet Computing are highly asymmetric – a host protects itself from malicious mobile Java programs, but there is no way to get assurances about the behavior...
ESORICS
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
JCS
1998
13 years 7 months ago
1998
Multilevel transactions have been proposed for multilevel secure databases; in contrast to most proposals, such transactions allow users to read and write across multiple security...
IEEEARES
2006
IEEE
14 years 2 months ago
2006
IEEE
Authentication and Authorisation Infrastructures (AAIs) are gaining momentum throughout the Internet. Solutions have been proposed for various scenarios among them academia, GRID ...