Show simple item record

dc.contributor.author
Koepf, Boris
dc.contributor.author
Mantel, Heiko
dc.date.accessioned
2017-06-10T11:09:41Z
dc.date.available
2017-06-10T11:09:41Z
dc.date.issued
2007-03
dc.identifier.issn
1615-5262
dc.identifier.issn
1615-5270
dc.identifier.other
10.1007/s10207-007-0016-z
dc.identifier.uri
http://hdl.handle.net/20.500.11850/58643
dc.identifier.doi
10.3929/ethz-b-000058643
dc.format
application/pdf
dc.language.iso
en
dc.publisher
Springer
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.subject
Language based security
dc.subject
Information flow control
dc.subject
Security type system
dc.subject
Unification
dc.title
Transformational typing and unification for automatically correcting insecure programs
dc.type
Other Conference Item
dc.rights.license
In Copyright - Non-Commercial Use Permitted
ethz.journal.title
International Journal of Information Security
ethz.journal.volume
6
ethz.journal.issue
2-3
ethz.journal.abbreviated
Int. j. inf. secur.
ethz.pages.start
107
ethz.pages.end
131
ethz.version.deposit
publishedVersion
ethz.event
3rd International Workshop on Formal Aspects in Security and Trust
ethz.event.location
Newcastle upon Tyne, U.K.
ethz.event.date
July 18-19, 2005
ethz.notes
It was possible to publish this article open access thanks to a Swiss National Licence with the publisher
ethz.identifier.wos
ethz.identifier.nebis
004198965
ethz.publication.place
New York, NY, USA
ethz.publication.status
published
ethz.date.deposited
2017-06-10T11:11:47Z
ethz.source
ECIT
ethz.identifier.importid
imp59364fffa92b846497
ethz.ecitpid
pub:93747
ethz.eth
yes
ethz.availability
Open access
ethz.rosetta.installDate
2017-07-12T18:24:25Z
ethz.rosetta.lastUpdated
2017-07-12T18:24:25Z
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=Transformational%20typing%20and%20unification%20for%20automatically%20correcting%20insecure%20programs&rft.jtitle=International%20Journal%20of%20Information%20Security&rft.date=2007-03&rft.volume=6&rft.issue=2-3&rft.spage=107&rft.epage=131&rft.issn=1615-5262&1615-5270&rft.au=Koepf,%20Boris&Mantel,%20Heiko&rft.genre=unknown&
 Search via SFX

Files in this item

Thumbnail

Publication type

Show simple item record