Privacy in real-time systems

Electronic Notes in Theoretical Computer Science

Volumn 52, Issue 3, 2002, Pages 295-305

  Lanotte, Ruggero ^a   Maggiolo Schettini, Andrea ^a   Tini, Simone ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY;

LANGUAGE PROPERTY; PROBLEM OF PRIVACY; TIMED AUTOMATA;

REAL TIME SYSTEMS;

EID: 23944446150     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00229-4     Document Type: Article

References (7)

1. R. Alur, and D.L. Dill A theory of timed automata Theoretical Computer Science 126 1994 183 235
2. th ACM Conference on Computer and Communications Security, 25-32, 2000.
3. Focardi R., and R. Gorrieri: Automatic compositional verification of some security properties. Proc. Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 1055, Springer, Berlin, 1996, 167-186.
4. R. Focardi, and R. Gorrieri A classification of security properties for process algebras Journal of Computer Security 3 1995 5 33
5. th Computer Security Foundation Workshop, IEEE Computer Society Press, 2000.
6. D. Volpano, and G. Smith Confinement properties for programming languages SIGACT News 29 1998 33 42
7. 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.