1875 search results - page 206 / 375 » Modeling the Security of Steganographic Systems |
94
Voted
JCS
2011
14 years 7 months ago
2011
In this paper we consider the problem of verifying trace-based information flow properties for different classes of system models. We begin by proposing an automata-theoretic te...
113
click to vote
PET
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
99
Voted
PDPTA
2004
15 years 2 months ago
2004
Abstract-- Service descriptions based on type hiernd abstract service states ruling the availability of operations permit more secure service combinations in distributed systems de...
76
Voted
DBSEC
2000
15 years 2 months ago
2000
We propose two extensions to the SQL grant/revoke security model. In SQL, grants are unconditional, so the grantor must simply trust the recipient's discretion. We allow a gr...
127
Voted
IANDC
2007
15 years 17 days ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...