Show simple item record

dc.contributor.author
Frau, Simone
dc.contributor.author
Torabi Dashti, Mohammad
dc.date.accessioned
2017-06-09T17:44:49Z
dc.date.available
2017-06-09T17:44:49Z
dc.date.issued
2011
dc.identifier.isbn
978-0-7695-4365-9
dc.identifier.isbn
978-1-612-84644-6
dc.identifier.other
10.1109/CSF.2011.9
dc.identifier.uri
http://hdl.handle.net/20.500.11850/42368
dc.language.iso
en
dc.publisher
IEEE
dc.subject
Access control
dc.subject
Decidability
dc.subject
Formal methods
dc.subject
Security protocols
dc.subject
Trust management
dc.title
Integrated specification and verification of security protocols and policies
dc.type
Conference Paper
ethz.book.title
IEEE 24th Computer Security Foundations Symposium (CSF), 2011 : 27 - 29 June 2011, Cernay-la-Ville, France ; proceedings
ethz.pages.start
18
ethz.pages.end
32
ethz.event
24th IEEE Computer Security Foundations Symposium (CSF)
ethz.event.location
Cernay-la-Ville, France
ethz.event.date
June 27-29, 2011
ethz.identifier.wos
ethz.publication.place
Piscataway, NJ
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-09T17:44:54Z
ethz.source
ECIT
ethz.identifier.importid
imp59364eb892b5b17719
ethz.ecitpid
pub:70543
ethz.eth
yes
ethz.availability
Metadata only
dc.relation.isnodouble
86115
*
dc.relation.isnodouble
42293
*
ethz.rosetta.installDate
2017-07-13T12:11:17Z
ethz.rosetta.lastUpdated
2018-10-01T14:41:34Z
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=Integrated%20specification%20and%20verification%20of%20security%20protocols%20and%20policies&rft.date=2011&rft.spage=18&rft.epage=32&rft.au=Frau,%20Simone&Torabi%20Dashti,%20Mohammad&rft.isbn=978-0-7695-4365-9&978-1-612-84644-6&rft.genre=proceeding&rft_id=info:doi/10.1109/CSF.2011.9&rft.btitle=IEEE%2024th%20Computer%20Security%20Foundations%20Symposium%20(CSF),%202011%20:%2027%20-%2029%20June%202011,%20Cernay-la-Ville,%20France%20;%20proceedings
 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