Joshua Guttman: pioneering strand spaces (Q2154021)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Joshua Guttman: pioneering strand spaces	scientific article

Statements

scholarly article

0 references

Joshua Guttman: pioneering strand spaces (English)

0 references

0 references

publication date

13 July 2022

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-030-91631-2_19

0 references

Using encryption for authentication in large networks of computers

0 references

0 references

A semantics for a logic of authentication (extended abstract)

0 references

Reasoning about cryptographic protocols in the spi calculus

0 references

0 references

IMPS: An interactive mathematical proof system

0 references

Three systems for cryptographic protocol analysis

0 references

The NRL Protocol Analyzer: An Overview

0 references

An attack on the Needham-Schroeder public-key authentication protocol

0 references

0 references

0 references

Specification and analysis of the AER/NCA active network protocol suite in real-time Maude

0 references

All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.

0 references

Authentication tests and the structure of bundles.

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-030-91631-2_19

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2154021

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2154021&oldid=36828470"