Timing-sensitive information flow analysis for synchronous systems
dc.contributor.author
Köpf, Boris
dc.contributor.author
Basin, David
dc.contributor.editor
Gollmann, Dieter
dc.contributor.editor
Meier, Jan
dc.contributor.editor
Sabelfeld, Andrei
dc.date.accessioned
2017-06-19T13:03:29Z
dc.date.available
2017-06-19T13:03:29Z
dc.date.issued
2006
dc.identifier.isbn
3-540-44601-X
dc.identifier.isbn
978-3-540-44601-9
dc.identifier.isbn
978-3-54044-605-7
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/11863908_16
dc.identifier.uri
http://hdl.handle.net/20.500.11850/161536
dc.language.iso
en
dc.publisher
Springer
dc.title
Timing-sensitive information flow analysis for synchronous systems
dc.type
Conference Paper
ethz.book.title
Computer security : proceedings
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
4189
ethz.journal.abbreviated
LNCS
ethz.pages.start
243
ethz.pages.end
262
ethz.event
11th European Symposium on Research in Computer Security (ESORICS 2006)
ethz.event.location
Hamburg, Germany
ethz.event.date
September 18-20, 2006
ethz.identifier.nebis
005252736
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.date.deposited
2017-06-19T13:05:40Z
ethz.source
ECIT
ethz.identifier.importid
imp59364b41f095917541
ethz.ecitpid
pub:11432
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-08-03T11:11:42Z
ethz.rosetta.lastUpdated
2024-02-02T01:51:55Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Timing-sensitive%20information%20flow%20analysis%20for%20synchronous%20systems&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2006&rft.volume=4189&rft.spage=243&rft.epage=262&rft.issn=0302-9743&1611-3349&rft.au=K%C3%B6pf,%20Boris&Basin,%20David&rft.isbn=3-540-44601-X&978-3-540-44601-9&978-3-54044-605-7&rft.genre=proceeding&rft_id=info:doi/10.1007/11863908_16&rft.btitle=Computer%20security%20:%20proceedings
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [34959]