1795 search results - page 67 / 359 » Security Models and Information Flow |
SP
2008
IEEE
13 years 9 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
In recent times, there has been a growing interest in the level of intellectual contribution that IS makes to other disciplines. Much of the debate that has dominated the literatu...
ICIP
1998
IEEE
14 years 11 months ago
1998
IEEE
Optical flow estimation from image sequences has been for several years a mathematical process carried out by general purpose processors in no real time. In this work a specific a...
ACSAC
2001
IEEE
14 years 1 months ago
2001
IEEE
According to one common view, information security comes down to technical measures. Given better access control policy models, formal proofs of cryptographic protocols, approved ...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
In this paper, new inner and outer bounds on the achievable compression-equivocation rate region for generalized secure data compression with side information are given that do not...