1795 search results - page 30 / 359 » Security Models and Information Flow |
POPL
2008
ACM
14 years 8 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
In this paper, we define an observation model based on optical flow information to track objects using particle filter algorithms. Although the optical flow information enables us...
CCS
2009
ACM
14 years 8 months ago
2009
ACM
Unified and formal knowledge models of the information security domain are fundamental requirements for supporting and enhancing existing risk management approaches. This paper de...
FSKD
2006
Springer
13 years 11 months ago
2006
Springer
Information security evaluation of software-intensive systems typically relies heavily on the experience of the security professionals. Obviously, automated approaches are needed ...
ESORICS
2005
Springer
14 years 1 months ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...