DataCitemetadata only

Building blocks for secure services : authenticated key transport and rational exchange protocols

Name: Building blocks for secure services : authenticated key transport and rational exchange protocols
License: Open Access

Buttyán, Levente

DataCite · Datasets · License: Open Access

authentication logic, protocol synthesis, game theory, formal verification, ad hoc networks, cooperation, nuglets, nccr-mics

This document is indexed with metadata only — full text is not available in the archive for this record. Open the official source ↗

Record · ID 448515
Retrieved via Conceptio — every document is proof-bundled with source, license, and retrieval metadata.