Algebraic intruder deductions
dc.contributor.author
Basin, David
dc.contributor.author
Mödersheim, Sebastian
dc.contributor.author
Vigan, Luca
dc.contributor.editor
Sutcliffe, Geoff
dc.contributor.editor
Voronkov, Andrei
dc.date.accessioned
2017-06-09T11:06:15Z
dc.date.available
2017-06-09T11:06:15Z
dc.date.issued
2005
dc.identifier.isbn
3-540-30553-X
dc.identifier.isbn
978-3-540-30553-8
dc.identifier.isbn
9783540316503
dc.identifier.other
10.1007/11591191_38
dc.identifier.uri
http://hdl.handle.net/20.500.11850/35047
dc.language.iso
en
dc.publisher
Springer
dc.title
Algebraic intruder deductions
dc.type
Conference Paper
ethz.book.title
Logic for programming, artificial intelligence, and reasoning : 12th international conference : proceedings / LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005
ethz.journal.title
Logic for Programming, Artificial Intelligence, and Reasoning
ethz.journal.volume
3835
ethz.pages.start
549
ethz.pages.end
564
ethz.event
12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
ethz.event.location
Montego Bay, Jamaica
ethz.event.date
December 2-6, 2005
ethz.identifier.wos
ethz.identifier.nebis
005110909
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-09T11:06:41Z
ethz.source
ECIT
ethz.identifier.importid
imp59364e0a023e817506
ethz.ecitpid
pub:56277
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-14T15:04:36Z
ethz.rosetta.lastUpdated
2022-03-28T09:46:34Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Algebraic%20intruder%20deductions&rft.jtitle=Logic%20for%20Programming,%20Artificial%20Intelligence,%20and%20Reasoning&rft.date=2005&rft.volume=3835&rft.spage=549&rft.epage=564&rft.au=Basin,%20David&M%C3%B6dersheim,%20Sebastian&Vigan,%20Luca&rft.isbn=3-540-30553-X&978-3-540-30553-8&9783540316503&rft.genre=proceeding&rft_id=info:doi/10.1007/11591191_38&rft.btitle=Logic%20for%20programming,%20artificial%20intelligence,%20and%20reasoning%20:%2012th%20international%20conference%20:%20proceedings%20/%20LPAR%202005,%20Montego%20Bay,%2
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [36713]