Skip to main content
Article thumbnail
Location of Repository

Security in Communicating Hierarchical Transaction–based Timed Automata

By Damas P. Gruska, Andrea Maggiolo-Schettini and Paolo Milazzo


... have been introduced to model systems performing long–running transactions. For these automata here a security concept is introduced, which is based on a notion of opacity and on the assumption that and attacker can not only observe public system activities, but also cause abortion of some of them. Different intruder capabilities as well different kinds of opacity are defined and the resulting security properties are investigated

Topics: communicating hierarchical timed automata, timing attacks, opacity
Year: 2009
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.