549 search results - page 39 / 110 » Verification condition generation for conditional informatio... |
108
click to vote
CSFW
2008
IEEE
15 years 2 months ago
2008
IEEE
Declassification occurs when the confidentiality of information is weakened; erasure occurs when the confidentiality of information is strengthened, perhaps to the point of comple...
ESORICS
2008
Springer
15 years 2 months ago
2008
Springer
Current tools for analysing information flow in programs build upon ideas going back to Denning's work from the 70's. These systems enforce an imperfect notion of informa...
102
click to vote
DBSEC
2006
15 years 2 months ago
2006
Access control is a crucial concern to build secure IT systems and, more specifically, to protect the confidentiality of information. However, access control is necessary, but not ...
DCC
2007
IEEE
16 years 5 days ago
2007
IEEE
We propose a stochastic model for video and compute its information rates. The model has two sources of information representing ensembles of camera motion and visual scene data (...
74
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
Recent information hiding schemes are scrutinized in terms of their cryptographic performance. We establish conditions under which the key equivocation function is optimal for the...