Sortiert nach
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...
1st Edition 2018, 2018
Link zum Volltext
Proceedings of the 15th ACM conference on computer and communications security, 2008, p.109-118
2008
Link zum Volltext
Journal of automated reasoning, 2021-04, Vol.65 (4), p.479-520
2021
Link zum Volltext
Lecture notes in computer science, 2005, p.157-171
2005
Link zum Volltext
Journal of computer security, 2017-01, Vol.25 (1), p.21-57
2017
Link zum Volltext
Journal of computer security, 2013-01, Vol.21 (1), p.89-148
2013
Link zum Volltext
Theoretical computer science, 2013-06, Vol.492, p.1-39
2013
Link zum Volltext
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006, p.176-187
2006
Link zum Volltext
Journal of computer security, 2022-01, Vol.30 (4), p.573-598
2022
Link zum Volltext
Theoretical computer science, 2006-11, Vol.367 (1), p.2-32
2006
Link zum Volltext
Computer Security – ESORICS 2022, p.631-652
Link zum Volltext
Journal of automated reasoning, 2011-04, Vol.46 (3-4), p.225-259
2011
Link zum Volltext
Information and computation, 2014-11, Vol.238, p.208-232
2014
Link zum Volltext
2015 IEEE Symposium on Security and Privacy, 2015, p.499-516
2015
- Link zum Volltext
ACM transactions on computational logic, 2020-01, Vol.21 (1), p.1-52
2020
Link zum Volltext
Information and computation, 2014-11, Vol.238, p.30-67
2014
Link zum Volltext
Journal of computer security, 2022-08, Vol.30 (4), p.573-598
2022
Link zum Volltext
2011 IEEE 24th Computer Security Foundations Symposium, 2011, p.297-311
2011
- Link zum Volltext
Principles of Security and Trust, p.21-40
Link zum Volltext
Computer Security – ESORICS 2020, p.3-22
Link zum Volltext
Journal of computer security, 2006-01, Vol.14 (1), p.1-43
2006
Link zum Volltext
Computer Security - ESORICS 2014, p.327-344
Link zum Volltext
Journal of automated reasoning, 2012-04, Vol.48 (4), p.441-487
2012
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Cryptography And Security
- Cryptography
- Security Protocol
- Computer Science, Information Systems
- Security
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Computer Science, Software Engineering
- Privacy
- Security Protocols
- Theoretical Computing
- Verification
- Protocols
- Computer Science, Artificial Intelligence
- Electronic Voting
Kollektion
- Ingenta.com
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- EZB Electronic Journals Library
- IEEE Electronic Library (IEL)
- ACM Digital Library Complete
- Elsevier ScienceDirect Journals Complete
- Journals@Ovid Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
- SpringerLink
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- Wiley Online Library Journals
- Publisher website
- Wiley Online Library
Zeitschrift / Serie
- Journal Of Computer Security
- Acm Transactions On Computational Logic
- Documents Pour L’histoire Du Français Langue Étrangère Ou Seconde
- Information And Computation
- Journal Of Automated Reasoning
- Theoretical Computer Science
- Annals Of Intensive Care
- Archives Of Internal Medicine
- Clinical Microbiology And Infection
- Current Biology