Formal models of timing attacks on web privacy

Electronic Notes in Theoretical Computer Science

Volumn 62, Issue , 2002, Pages 229-243

  Focardi, Riccardo ^a   Gorrieri, Roberto ^b   Lanotte, Ruggero ^c   Maggiolo Schettini, Andrea ^c   Martinelli, Fabio ^d   Tini, Simone ^e   Tronci, Enrico ^f  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

^c UNIVERSITY OF PISA   (Italy)

^d CNR   (Italy)

^e UNIVERSITY OF INSUBRIA   (Italy)

^f UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CODES (SYMBOLS); COMPUTER CRIME; MATHEMATICAL MODELS; SECURITY OF DATA; WORLD WIDE WEB;

MOBILE CODES; PROCESS ALGEBRA; TIMING ATTACKS; WEB PRIVACY;

DATA PRIVACY;

EID: 19144368123     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00329-9     Document Type: Article

References (11)

1. Alur R., Dill D.L. A theory of timed automata. Theoretical Computer Science. 126:1994;183-235
2. 20states and beyond. Information and Computation. 98:1992
3. thACM Conference on Computer and Communications Security, 25-32, 2000.
4. Focardi R., Gorrieri R. The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties. IEEE Transactions on Software Engineering. 23:(9):1997;550-571
5. Focardi R., Gorrieri R. A classification of security properties for process algebras. Journal of Computer Security. 3:1995;5-33
6. thComputer Security Foundation Workshop, IEEE Computer Society Press, 2000.
7. Lanotte R., A. Maggiolo-Schettini, and S. Tini: Privacy in real-time systems. Proc. MTCS'01. Electronic Notes in Theoretical Computer Science 52.3 (2001).
8. McMillan K.L. Symbolic model checking. 1993;Kluwer Academic Publishers, Massachusets
9. Volpano D., Smith G. Confinement properties for programming languages. SIGACT News. 29:1998;33-42
10. Smith G., and D. Volpano: Secure information flow in a multi-threaded imperative language. Proc. ACM Symposium on Principles of Programming Languages, 1998, 355-364.
11. URL: http://www.cs.cmu.edu/~modelcheck/.