5255 search results - page 271 / 1051 » Formal Methods for Privacy |
129
click to vote
ESORICS
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. This paper explores the problem of tracking information flow in dynamic tree structures. Motivated by the problem of manipulating the Document Object Model (DOM) trees by...
173
click to vote
ISPEC
2009
Springer
15 years 11 months ago
2009
Springer
We propose two symmetric-key management schemes for the encryption of scalable compressed video content. The schemes are applicable to MPEG-4 Fine Grain Scalability video coding. O...
125
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...
107
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
The Flume system is an implementation of decentralized information flow control (DIFC) at the operating system level. Prior work has shown Flume can be implemented as a practical ...
144
click to vote
IEEEARES
2008
IEEE
15 years 11 months ago
2008
IEEE
The analysis of business solutions is one of critical issues in industry. Risk is one of the most preeminent and accepted metrics for the evaluation of business solutions. Not sur...