40 search results - page 6 / 8 » Compliance Checking in the PolicyMaker Trust Management Syst... |
COMPSEC
2004
13 years 6 months ago
2004
Security technology suitable for the burgeoning embedded system market has not been widespread. Untrusted code downloaded from the Internet poses numerous security risks due to th...
SCS
2004
13 years 8 months ago
2004
Industry is increasingly adopting software and system safety standards that mandate the use of hazard logs in the development and operation of safety critical systems. Hazard logs...
EUROSYS
2008
ACM
14 years 3 months ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
TGC
2007
Springer
14 years 24 days ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
SIMULATION
1998
13 years 6 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...