2486 search results - page 135 / 498 » A Type System for Computationally Secure Information Flow |
CCS
2006
ACM
14 years 20 days ago
2006
ACM
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...
ICCV
2003
IEEE
14 years 11 months ago
2003
IEEE
Video-based handwritten Character Recognition (VCR) system is a new type of character recognition system with many unique advantages over on-line character recognition system. Its...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...
DEBS
2007
ACM
14 years 26 days ago
2007
ACM
Publish/subscribe systems provide an efficient, event-based, wide-area distributed communications infrastructure. Large scale publish/subscribe systems are likely to employ compon...
DISCEX
2003
IEEE
14 years 2 months ago
2003
IEEE
This research project has produced an innovative architecture and corrresponding engineering prototype consisting of trusted security services and integrated operating system mech...