Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Lecture notes in computer science, 2005, p.186-200
2005
Volltextzugriff (PDF)


ACM transactions on privacy and security, 2021-02, Vol.24 (2), p.1-34
2021
Volltextzugriff (PDF)

Journal of computer security, 2010-09, Vol.18 (6), p.999-1033
2010
Volltextzugriff (PDF)


Journal of computer security, 2023-10, Vol.31 (5), p.501
2023
Volltextzugriff (PDF)

2018 IEEE Symposium on Security and Privacy (SP), 2018, p.529-546
2018
Volltextzugriff (PDF)


Open Access
Dynamic Tags for Security Protocols
Logical methods in computer science, 2014-06, Vol.10, Issue 2 (2)
2014
Volltextzugriff (PDF)

2018 IEEE 31st Computer Security Foundations Symposium (CSF), 2018, p.1-15
2018
Volltextzugriff (PDF)

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006, p.176-187
2006
Volltextzugriff (PDF)

2024 IEEE Symposium on Security and Privacy (SP), 2024, p.1481-1499
2024
Volltextzugriff (PDF)


ACM transactions on computational logic, 2022-01, Vol.23 (1), p.1-42
2022
Volltextzugriff (PDF)


Journal of computer security, 2020-01, Vol.28 (1), p.71-127
2020
Volltextzugriff (PDF)

Journal of computer security, 2016-01, Vol.24 (5), p.583-616
2016
Volltextzugriff (PDF)

Journal of computer security, 2009-01, Vol.17 (4), p.435-487
2009
Volltextzugriff (PDF)


2022 IEEE 35th Computer Security Foundations Symposium (CSF), 2022, p.319-334
2022
Volltextzugriff (PDF)

Open Access
Time-Dependent Analysis of Attacks
Principles of Security and Trust, p.285-305
Volltextzugriff (PDF)

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, p.155-166
2020
Volltextzugriff (PDF)

Information and computation, 2014-11, Vol.238, p.1-1
2014
Volltextzugriff (PDF)

ACM transactions on computational logic, 2016-11, Vol.17 (4), p.1-32
2016
Volltextzugriff (PDF)

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019, p.905-922
2019
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt