UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

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...

Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

1st Edition 2017, 2017

Volltextzugriff (PDF)

Information Security: 21st International Conference, ISC 2018, Guildford, UK, September 9-12, 2018, Proceedings

1st Edition 2018, 2018

Volltextzugriff (PDF)

Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers

1, 2003

Volltextzugriff (PDF)

Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II

1, 2020

Volltextzugriff (PDF)

Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part I

1, 2020

Volltextzugriff (PDF)

Discovery of Novel, Induced-Pocket Binding Oxazolidinones as Potent, Selective, and Orally Bioavailable Tankyrase Inhibitors

Journal of medicinal chemistry, 2013-06, Vol.56 (11), p.4320-4342

2013

Volltextzugriff (PDF)

Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part I

1, 2019

Volltextzugriff (PDF)

Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II

1, 2019

Volltextzugriff (PDF)

Applied Cryptography and Network Security: 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings

1st ed. 2016, 2016

Volltextzugriff (PDF)

Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings

1st Edition 2019, 2019

Volltextzugriff (PDF)

Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings

1st Edition 2019, 2019

Volltextzugriff (PDF)

Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL

Integrated Formal Methods, p.50-66

Volltextzugriff (PDF)

Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings

1st Edition 2020, 2020

Volltextzugriff (PDF)

Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings

2020

Volltextzugriff (PDF)

The VerCors Tool Set: Verification of Parallel and Concurrent Software

Integrated Formal Methods, p.102-110

Volltextzugriff (PDF)

Transient and Steady-State Statistical Analysis for Discrete Event Simulators

Integrated Formal Methods, p.145-160

Volltextzugriff (PDF)

Privacy-Preserving Electronic Ticket Scheme with Attribute-Based Credentials

IEEE transactions on dependable and secure computing, 2021-07, Vol.18 (4), p.1836-1849

2021

Volltextzugriff (PDF)

Hoare-Style Reasoning from Multiple Contracts

Integrated Formal Methods, p.263-278

Volltextzugriff (PDF)

E-Voting and Identity: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings

1, 2013

Volltextzugriff (PDF)

Specifying authentication using signal events in CSP

Computers & security, 2009-07, Vol.28 (5), p.310-324

2009

Volltextzugriff (PDF)

Triggerless Happy: Intermediate Verification with a First-Order Prover

Integrated Formal Methods, 2017, Vol.10510, p.295-311

2017

Volltextzugriff (PDF)

Towards End-to-End Verifiable Online Voting: Adding Verifiability to Established Voting Systems

IEEE transactions on dependable and secure computing, 2024-07, Vol.21 (4), p.3357-3374

2024

Volltextzugriff (PDF)

An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems

Integrated Formal Methods, p.3-17

Volltextzugriff (PDF)

Erprobung kooperativer Dienste im realen Verkehrsumfeld

ATZextra, 2019-03, Vol.24 (S1), p.24-27

Schneider, Steve

2019

Volltextzugriff (PDF)

Under Pressure: Coal Industry Rhetoric and Neoliberalism

Jen Schneider, Steve Schwarze, Peter K. Bsumek, Jennifer Peeples

1, 2016

Volltextzugriff (PDF)

1 – 25 von 867

Suche als RSS-Feed

Aktive Filter

KollektionEZB Electronic Journals Library

KollektionPsychology and Behavioral Sciences Collection

Zeitschrift / SerieJournal Of Computer Security

ThemaComputer Science, Theory & Methods

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(321)
Mit Volltextzugriff
(805)

Publikationsform

3 weitere anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(171)
Life Sciences & Biomedicine
(99)
Technology
(71)
Humans
(60)
Social Sciences
(57)
Computer Science
(54)
Engineering
(40)
Female
(35)
Male
(34)
Computer Security
(29)
Physical Sciences
(29)
Software Engineering
(28)
Engineering, Electrical & Electronic
(27)
Psychology
(26)
Exact Sciences And Technology
(23)
Cryptography
(20)
Software
(19)
Computer Science, Software Engineering
(18)
Applied Sciences
(17)
Computers
(17)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(2)
... seit 90 Tagen
(4)

Menü

Weitere Dienste

Einstellungen

Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Information Security: 21st International Conference, ISC 2018, Guildford, UK, September 9-12, 2018, Proceedings

Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers

Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II

Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part I

Discovery of Novel, Induced-Pocket Binding Oxazolidinones as Potent, Selective, and Orally Bioavailable Tankyrase Inhibitors

Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part I

Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II

Applied Cryptography and Network Security: 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings

Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings

Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings

Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL

Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings

Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings

The VerCors Tool Set: Verification of Parallel and Concurrent Software

Transient and Steady-State Statistical Analysis for Discrete Event Simulators

Privacy-Preserving Electronic Ticket Scheme with Attribute-Based Credentials

Hoare-Style Reasoning from Multiple Contracts

E-Voting and Identity: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings

Specifying authentication using signal events in CSP

Triggerless Happy: Intermediate Verification with a First-Order Prover

Towards End-to-End Verifiable Online Voting: Adding Verifiability to Established Voting Systems

An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems

Erprobung kooperativer Dienste im realen Verkehrsumfeld

Under Pressure: Coal Industry Rhetoric and Neoliberalism

Aktive Filter

Suchergebnisse filtern