653 search results - page 27 / 131 » A Logic of Secure Systems and its Application to Trusted Com... |
DANCE
2002
IEEE
14 years 21 days ago
2002
IEEE
— Active Networks, being programmable, promise greater flexibility than current networks. Programmability, however, may introduce safety and security risks. This paper describes...
SOUPS
2009
ACM
14 years 2 months ago
2009
ACM
Developments in ubiquitous and pervasive computing herald a future in which computation is embedded into our daily lives. Such a vision raises important questions about how people...
SP
1998
IEEE
13 years 12 months ago
1998
IEEE
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...
OSDI
2008
ACM
14 years 8 months ago
2008
ACM
Computers are notoriously insecure, in part because application security policies do not map well onto traditional protection mechanisms such as Unix user accounts or hardware pag...
PERVASIVE
2006
Springer
13 years 7 months ago
2006
Springer
Today, several costs caused by road traffic may either be only roughly approximated, or cannot be clearly assigned to the drivers causing them, or both. They are typically distribu...