UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 55

Sortiert nach

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

1st Edition 2017, 2017

Link zum Volltext

Verfügbarkeit prüfen

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

1st Edition 2018, 2018

Link zum Volltext

Verfügbarkeit prüfen

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

1, 2003

Link zum Volltext

Verfügbarkeit prüfen

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

1, 2019

Link zum Volltext

Verfügbarkeit prüfen

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

1, 2019

Link zum Volltext

Verfügbarkeit prüfen

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

1st ed. 2016, 2016

Link zum Volltext

Verfügbarkeit prüfen

A formal framework for security analysis of NFC mobile coupon protocols

Journal of computer security, 2015-12, Vol.23 (6), p.685-707

2015

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext
IEEE_Xplore

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

1, 2013

Link zum Volltext

Verfügbarkeit prüfen

Specifying authentication using signal events in CSP

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

2009

Link zum Volltext

Verfügbarkeit prüfen

Automated anonymity verification of the ThreeBallot and VAV voting systems

Software and systems modeling, 2016-10, Vol.15 (4), p.1049-1062

2016

Link zum Volltext

Verfügbarkeit prüfen

Where Are You Bob? Privacy-Preserving Proximity Testing with a Napping Party

25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, United Kingdom, 2020, Vol.12308 LNCS, p.677-697

2020

Link zum Volltext

Verfügbarkeit prüfen

Techniques for modelling and verifying railway interlockings

International journal on software tools for technology transfer, 2014-11, Vol.16 (6), p.685-711

2014

Link zum Volltext

Verfügbarkeit prüfen

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

2005., 2005

Link zum Volltext

Verfügbarkeit prüfen

An integrated framework for checking the behaviour of fUML models using CSP

International journal on software tools for technology transfer, 2013-08, Vol.15 (4), p.375-396

2013

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

Verifying authentication protocols in CSP

IEEE transactions on software engineering, 1998-09, Vol.24 (9), p.741-758

Schneider, S.

1998

Link zum Volltext
IEEE_Xplore

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

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

A decision procedure for the existence of a rank function

Journal of computer security, 2005-01, Vol.13 (2), p.317-344

2005

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

2013, 2013

Link zum Volltext

Verfügbarkeit prüfen

Preserving Privacy of Vulnerable Users across Heterogeneous Sensitive Sensor Data Streams using Smart Contracts

Proceedings of the Fifth ACM International Workshop on Blockchain-enabled Networked Sensor Systems, 2023, p.2-8

2023

Link zum Volltext

Verfügbarkeit prüfen

Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers

2007th edition, 2007

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 55

Suche als RSS-Feed

Aktive Filter

KollektionEZB Electronic Journals Library

ThemaComputer Science, Theory & Methods

ThemaComputer Science

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(32)
Mit Volltextzugriff
(54)

Publikationsform

Sprache

Englisch
(55)
Japanisch
(1)

Erscheinungsjahr

n.n

Thema

Science & Technology
(30)
Technology
(30)
Software Engineering
(19)
Computer Science, Software Engineering
(17)
Cryptography
(14)
Computer Communication Networks
(13)
Computer Science, Information Systems
(11)
Computer Security
(11)
Systems And Data Security
(11)
Computers
(10)
Computers And Society
(10)
Engineering
(10)
Computer Networks
(9)
Cryptology
(9)
Data Encryption
(9)
Security
(9)
Congresses
(8)
Management Of Computing And Information Systems
(8)
Engineering, Electrical & Electronic
(7)

14 weitere anzeigen...

Weniger anzeigen...

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

A formal framework for security analysis of NFC mobile coupon protocols

Privacy-Preserving Electronic Ticket Scheme with Attribute-Based Credentials

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

Specifying authentication using signal events in CSP

Automated anonymity verification of the ThreeBallot and VAV voting systems

Where Are You Bob? Privacy-Preserving Proximity Testing with a Napping Party

Techniques for modelling and verifying railway interlockings

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

An integrated framework for checking the behaviour of fUML models using CSP

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

Verifying authentication protocols in CSP

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

A decision procedure for the existence of a rank function

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

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Preserving Privacy of Vulnerable Users across Heterogeneous Sensitive Sensor Data Streams using Smart Contracts

Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers

Aktive Filter

Suchergebnisse filtern