On Modelling Real-time and Security properties of Distributed Systems

Ricardo Corin; Sandro  Etalle; Pieter H. Hartel; Angelika H. Mader

On Modelling Real-time and Security properties of Distributed Systems

Ricardo Corin
, Sandro Etalle
, Pieter H. Hartel
, Angelika H. Mader

Research output: Contribution to conference › Paper › peer-review

65 Downloads (Pure)

Abstract

We discuss a simplified version of the timing attack to illustrate a connection between security and real-time properties of distributed systems. We suggest several avenues for further research on this and similar connections.

Original language	English
Number of pages	5
Publication status	Published - 2003
Event	5th Plenary CaberNet Workshop 2003 - Porto Santo, Portugal Duration: 5 Nov 2003 → 7 Nov 2003 Conference number: 5 http://research.cs.ncl.ac.uk/cabernet/www.laas.research.ec.org/cabernet/workshops/plenary/5th-plenary.htm

Workshop

Workshop	5th Plenary CaberNet Workshop 2003
Country/Territory	Portugal
City	Porto Santo
Period	5/11/03 → 7/11/03
Internet address	http://research.cs.ncl.ac.uk/cabernet/www.laas.research.ec.org/cabernet/workshops/plenary/5th-plenary.htm

Keywords

METIS-214063
IR-41377

Access to Document

Corin2003modellingFinal published version, 187 KB

Cite this

@conference{945c59c2e43e4aeba87c1be056acf53b,

title = "On Modelling Real-time and Security properties of Distributed Systems",

abstract = "We discuss a simplified version of the timing attack to illustrate a connection between security and real-time properties of distributed systems. We suggest several avenues for further research on this and similar connections.",

keywords = "METIS-214063, IR-41377",

author = "Ricardo Corin and Sandro Etalle and Hartel, \{Pieter H.\} and Mader, \{Angelika H.\}",

year = "2003",

language = "English",

note = "5th Plenary CaberNet Workshop 2003 ; Conference date: 05-11-2003 Through 07-11-2003",

url = "http://research.cs.ncl.ac.uk/cabernet/www.laas.research.ec.org/cabernet/workshops/plenary/5th-plenary.htm",

}

TY - CONF

T1 - On Modelling Real-time and Security properties of Distributed Systems

AU - Corin, Ricardo

AU - Etalle, Sandro

AU - Hartel, Pieter H.

AU - Mader, Angelika H.

N1 - Conference code: 5

PY - 2003

Y1 - 2003

N2 - We discuss a simplified version of the timing attack to illustrate a connection between security and real-time properties of distributed systems. We suggest several avenues for further research on this and similar connections.

AB - We discuss a simplified version of the timing attack to illustrate a connection between security and real-time properties of distributed systems. We suggest several avenues for further research on this and similar connections.

KW - METIS-214063

KW - IR-41377

M3 - Paper

T2 - 5th Plenary CaberNet Workshop 2003

Y2 - 5 November 2003 through 7 November 2003

ER -

On Modelling Real-time and Security properties of Distributed Systems

Abstract

Workshop

Keywords

Access to Document

Fingerprint

Cite this