Title :
Timed automata with data structures for distributed systems design and analysis
Author :
Lanotte, R. ; Maggiolo-Schettini, Andrea ; Troina, Angelo
Abstract :
Systems of data management timed automata (SDM-TAs) are networks of communicating timed automata with structures to store messages and functions to manipulate them. We prove the decidability of reachability. As an application, we model and analyze a cryptographic protocol.
Keywords :
automata theory; data structures; decidability; distributed processing; formal specification; reachability analysis; cryptographic protocol; data management; data structure; decidability; distributed systems design; reachability; system analysis; timed automata; Automata; Cryptographic protocols; Data communication; Data security; Data structures; Real time systems; State-space methods; Synchronization; System analysis and design; Timing;
Conference_Titel :
Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on
Conference_Location :
Koblenz
Print_ISBN :
0-7695-2435-4
DOI :
10.1109/SEFM.2005.49
