Exploiting Generic Aspects of Security Models in Formal Developments
dc.contributor.author
Mantel, Heiko
dc.contributor.author
Schairer, Axel
dc.contributor.editor
Hutter, Dieter
dc.contributor.editor
Stephan, Werner
dc.date.accessioned
2017-06-10T03:07:52Z
dc.date.available
2017-06-10T03:07:52Z
dc.date.issued
2005
dc.identifier.isbn
3-540-25051-4
dc.identifier.isbn
978-3-540-32254-2
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-540-32254-2_26
dc.identifier.uri
http://hdl.handle.net/20.500.11850/52639
dc.language.iso
en
dc.publisher
Springer
dc.title
Exploiting Generic Aspects of Security Models in Formal Developments
dc.type
Book Chapter
ethz.book.title
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
2605
ethz.journal.abbreviated
LNCS
ethz.pages.start
452
ethz.pages.end
475
ethz.identifier.nebis
004917612
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-10T03:10:33Z
ethz.source
ECIT
ethz.identifier.importid
imp59364f81e0d6387562
ethz.ecitpid
pub:85466
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-20T18:10:06Z
ethz.rosetta.lastUpdated
2022-03-28T10:51:08Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Exploiting%20Generic%20Aspects%20of%20Security%20Models%20in%20Formal%20Developments&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2005&rft.volume=2605&rft.spage=452&rft.epage=475&rft.issn=0302-9743&1611-3349&rft.au=Mantel,%20Heiko&Schairer,%20Axel&rft.isbn=3-540-25051-4&978-3-540-32254-2&rft.genre=bookitem&rft_id=info:doi/10.1007/978-3-540-32254-2_26&rft.btitle=Mechanizing%20mathematical%20reasoning%20:%20essays%20in%20honor%20of%20J%C3%B6rg%20H.%20Siekmann%20on%20the%20occasion%20of%20his%2060th%20birthday
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Book Chapter [9445]