653 search results - page 43 / 131 » A Logic of Secure Systems and its Application to Trusted Com... |
SACMAT
2009
ACM
14 years 2 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
OOPSLA
2000
Springer
13 years 11 months ago
2000
Springer
To date, systems offering multitasking for the JavaTM programming language either use one process or one class loader for each application. Both approaches are unsatisfactory. Usi...
ICFCA
2004
Springer
14 years 1 months ago
2004
Springer
BLID (Bio-Logical Intelligent Database) is a bioinformatic system designed to help biologists extract new knowledge from raw genome data by providing high-level facilities for both...
ECUMN
2007
Springer
14 years 1 months ago
2007
Springer
After decades of expansion, Internet became an essential tool useful for professionals and private individuals providing a large range of services like emailing, management of ban...
IEEESP
2011
12 years 11 months ago
2011
We present a representative development in the science of security that includes a generic model of computer systems, their security properties and adversaries who actively interf...