Show simple item record

dc.contributor.author
Hankes Drielsma, Paul
dc.contributor.author
Mödersheim, Sebastian
dc.contributor.author
Viganò, Luca
dc.contributor.author
Basin, David
dc.contributor.editor
Dimitrakos, Theo
dc.contributor.editor
Martinelli, Fabio
dc.contributor.editor
Ryan, Peter Y.A.
dc.contributor.editor
Schneider, Steve
dc.date.accessioned
2017-06-19T13:07:52Z
dc.date.available
2017-06-19T13:07:52Z
dc.date.issued
2007
dc.identifier.isbn
978-3-540-75226-4
dc.identifier.isbn
978-3-540-75227-1
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-540-75227-1_6
dc.identifier.uri
http://hdl.handle.net/20.500.11850/161666
dc.language.iso
en
dc.publisher
Springer
dc.title
Formalizing and analyzing sender invariance
dc.type
Conference Paper
ethz.book.title
Formal aspects in security and trust : revised selected papers : fourth international workshop
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
4691
ethz.journal.abbreviated
LNCS
ethz.pages.start
80
ethz.pages.end
95
ethz.event
4th International Workshop on Formal Aspects in Security and Trust
ethz.event.date
August 26-27, 2006
ethz.identifier.nebis
005482674
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:09:19Z
ethz.source
ECIT
ethz.identifier.importid
imp59364b8bbb26742005
ethz.ecitpid
pub:15625
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-26T21:27:41Z
ethz.rosetta.lastUpdated
2022-03-28T16:52:52Z
ethz.rosetta.exportRequired
true
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Formalizing%20and%20analyzing%20sender%20invariance&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2007&rft.volume=4691&rft.spage=80&rft.epage=95&rft.issn=0302-9743&1611-3349&rft.au=Hankes%20Drielsma,%20Paul&M%C3%B6dersheim,%20Sebastian&Vigan%C3%B2,%20Luca&Basin,%20David&rft.isbn=978-3-540-75226-4&978-3-540-75227-1&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-540-75227-1_6&rft.btitle=Formal%20aspects%20in%20security%20and%20trust%20:%20revised%20selected%20papers%20:%20fourth%20international%20workshop
 Search print copy at ETH Library

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record