Year of publication
Type of material
Licence
Language
1–20 of 558 hits
Sort by:
Sort by:
-
On the Security of TLS-DHE in the Standard Model
Tema Archive | 2012|Keywords: cryptographic protocol -
Symmetric Information Exchange System Based on Ring Isomorphism
Online Contents | 2022|Keywords: cryptographic protocol -
Cryptographic Protocol Verification Based on the Extension Rule
National licenceTrans Tech Publications | 2014|Keywords: Cryptographic Protocol Verification -
Symmetric Information Exchange System Based on Ring Isomorphism
Online Contents | 2022|Keywords: cryptographic protocol -
Inductive verification of cryptographic protocols based on message algebras - trace and indistinguishability properties
DataCite | 2022|Keywords: cryptographic protocol -
Physical Unclonable Function (PUF)-Based e-Cash Transaction Protocol (PUF-Cash)
Free accessDOAJ | 2019|Keywords: cryptographic protocol -
Aggregate Signature Protocol with Group Leader
Online Contents | 2021|Keywords: cryptographic protocol -
Inductive verification of cryptographic protocols based on message algebras - trace and indistinguishability properties
Free accessBASE | 2022|Keywords: cryptographic protocol -
How to Take Advantage of Distrusted Parties or Secure Auxiliary Computations for Every Language in NP
Taylor & Francis Verlag | 2010|Keywords: cryptographic protocol -
Establishing and preserving protocol security goals
IOS Press | 2014|Keywords: Cryptographic protocol analysis -
ISG-SLAS: Secure and lightweight authentication and key agreement scheme for industrial smart grid using fuzzy extractor
Elsevier | 2022|Keywords: Cryptographic protocol -
State and Progress in Strand Spaces: Proving Fair Exchange
Online Contents | 2010|Keywords: Cryptographic protocol analysis -
Aggregate Signature Protocol with Group Leader
Online Contents | 2021|Keywords: cryptographic protocol -
Proved generation of implementations from computationally secure protocol specifications1
IOS Press | 2015|Keywords: Cryptographic protocol -
KEDGEN2: A key establishment and derivation protocol for EPC Gen2 RFID systems
Elsevier | 2013|Keywords: Cryptographic protocol verification -
Formally verifying security protocols built on watermarking and jamming
Elsevier | 2023|Keywords: Cryptographic protocol verification -
New Blind Signature Protocols Based on Finite Subgroups with Two-Dimensional Cyclicity
Online Contents | 2019|Keywords: Cryptographic protocol -
Belief Change and Cryptographic Protocol Verification
Free accessDataCite | 2007|Keywords: cryptographic protocol verification
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.