Ask
Search
My library

About
Statistics
Contact
Data Protection
Accessibility
Imprint
Changelog
Frontend: v1.31.3
Backend: v1.11.4

We use cookies to provide a better user experience.

Data Protection

Safe equivalences for security properties

Alvim, M.S.
Andres, M.E.
Palamidessi, C.
Rossum, P. van

Publication date

January 2010

DOI

10.1007/978-3-642-15240-5_5

Publisher

Springer Science and Business Media LLC

Abstract

Contains fulltext : 84100.pdf (preprint version ) (Closed access

Extracted data

Topics

thumbnail of dbpedia resource

Related items

Hoepman, J.-H.
Lieshout, M.J. van

January 2012

Contains fulltext : 103642.pdf (preprint version ) (Open Access

Forward-Secure Distributed Encryption

Lueks, W.
Hoepman, J.H.
Kursawe, K.

January 2014

Contains fulltext : 129948.pdf (author's version ) (Closed access

Het belang van software-analyse

Eekelen, M.C.J.D. van

January 2010

Contains fulltext : 84360.pdf (publisher's version ) (Closed access

Analyzing Multi-Key Security Degradation

Luykx, A.
Mennink, B.
Paterson, K.G.

January 2017

Contains fulltext : 179039.pdf (preprint version ) (Closed access) ...

Security, Fault-Tolerance and their Verification for Ambient Systems

Hoepman, J.H.

January 2003

Contains fulltext : 112657.pdf (preprint version ) (Closed access

Formal Methods for Security?

Poll, Erik

January 2019

Contains fulltext : 207807.pdf (preprint version ) (Open Access

Measuring Web Session Security at Scale

Calzavara, S.
Jonker, H.
Krumnow, B.
Rabitti, A.

January 2021

Contains fulltext : 238037pre.pdf (Author’s version preprint ) (Open Access) ...

Automated Machine-Checked Hybrid System Safety Proofs

Kaufmann, M.
Paulson, L.
Geuvers, H.
Koprowski, A.
Synek, D.
Weegen, E.E. van der

January 2010

Contains fulltext : 83344.pdf ( ) (Closed access)Scientific publicatio

Increased security through open source

Hoepman, J.H.
Jacobs, B.P.F.

January 2007

Contains fulltext : 34619.pdf (postprint version ) (Open Access

Safe systems programming in Rust

Jung, R.
Jourdan, J.-H.
Krebbers, R.J.
Dreyer, D.

January 2021

Contains fulltext : 233983.pdf (Publisher’s version ) (Open Access

Increased security through open source

Hoepman, Jaap-Henk
Jacobs, Bart

January 2007

Contains fulltext : 164852.pdf (preprint version ) (Open Access

Update Semantics of Security Protocols

Hommersom, A.J.
Meyer, J.--J.Ch.
Vink, E.P. de

January 2004

Contains fulltext : 60368.pdf (publisher's version ) (Closed access

Privacy and User Trust in Context-Aware Systems

Koldijk, S.
Koot, G.
Neerincx, M.A.
Kraaij, W.

January 2014

Contains fulltext : 130032pre.pdf (preprint version ) (Closed access

Geurts, B.

January 2009

Contains fulltext : 82443.pdf (publisher's version ) (Closed access

Revocable Privacy

Hoepman, Jaap-Henk

January 2009

Contains fulltext : 75946.pdf (publisher's version ) (Open Access

Hoepman, J.-H.
Lieshout, M.J. van

January 2012

Contains fulltext : 103642.pdf (preprint version ) (Open Access

Forward-Secure Distributed Encryption

Lueks, W.
Hoepman, J.H.
Kursawe, K.

January 2014

Contains fulltext : 129948.pdf (author's version ) (Closed access

Het belang van software-analyse

Eekelen, M.C.J.D. van

January 2010

Contains fulltext : 84360.pdf (publisher's version ) (Closed access

Analyzing Multi-Key Security Degradation

Luykx, A.
Mennink, B.
Paterson, K.G.

January 2017

Contains fulltext : 179039.pdf (preprint version ) (Closed access) ...

Security, Fault-Tolerance and their Verification for Ambient Systems

Hoepman, J.H.

January 2003

Contains fulltext : 112657.pdf (preprint version ) (Closed access

Formal Methods for Security?

Poll, Erik

January 2019

Contains fulltext : 207807.pdf (preprint version ) (Open Access

Measuring Web Session Security at Scale

Calzavara, S.
Jonker, H.
Krumnow, B.
Rabitti, A.

January 2021

Contains fulltext : 238037pre.pdf (Author’s version preprint ) (Open Access) ...

Automated Machine-Checked Hybrid System Safety Proofs

Kaufmann, M.
Paulson, L.
Geuvers, H.
Koprowski, A.
Synek, D.
Weegen, E.E. van der

January 2010

Contains fulltext : 83344.pdf ( ) (Closed access)Scientific publicatio

Increased security through open source

Hoepman, J.H.
Jacobs, B.P.F.

January 2007

Contains fulltext : 34619.pdf (postprint version ) (Open Access

Safe systems programming in Rust

Jung, R.
Jourdan, J.-H.
Krebbers, R.J.
Dreyer, D.

January 2021

Contains fulltext : 233983.pdf (Publisher’s version ) (Open Access

Increased security through open source

Hoepman, Jaap-Henk
Jacobs, Bart

January 2007

Contains fulltext : 164852.pdf (preprint version ) (Open Access

Update Semantics of Security Protocols

Hommersom, A.J.
Meyer, J.--J.Ch.
Vink, E.P. de

January 2004

Contains fulltext : 60368.pdf (publisher's version ) (Closed access

Privacy and User Trust in Context-Aware Systems

Koldijk, S.
Koot, G.
Neerincx, M.A.
Kraaij, W.

January 2014

Contains fulltext : 130032pre.pdf (preprint version ) (Closed access

Geurts, B.

January 2009

Contains fulltext : 82443.pdf (publisher's version ) (Closed access

Revocable Privacy

Hoepman, Jaap-Henk

January 2009

Contains fulltext : 75946.pdf (publisher's version ) (Open Access

Hoepman, J.-H.
Lieshout, M.J. van

January 2012

Contains fulltext : 103642.pdf (preprint version ) (Open Access

Forward-Secure Distributed Encryption

Lueks, W.
Hoepman, J.H.
Kursawe, K.

January 2014

Contains fulltext : 129948.pdf (author's version ) (Closed access

Het belang van software-analyse

Eekelen, M.C.J.D. van

January 2010

Contains fulltext : 84360.pdf (publisher's version ) (Closed access