No label defined (Q3384076)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	No label defined	scientific article

Statements

scholarly article

0 references

Joseph Y. Halpern

0 references

Ron van der Meyden

0 references

Riccardo Pucella

0 references

publication date

14 December 2021

0 references

full work available at URL

https://arxiv.org/abs/1707.08750

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2017.21

0 references

MaRDI profile type

MaRDI publication profile

0 references

A calculus for cryptographic protocols: The spi calculus

0 references

Reconciling two views of cryptography (The computational soundness of formal encryption)

0 references

A semantics for a logic of authentication (extended abstract)

0 references

Towards an Awareness-Based Semantics for Security Protocol Analysis

0 references

0 references

0 references

Automatic verification of temporal-epistemic properties of cryptographic protocols

0 references

The random oracle methodology, revisited

0 references

Automata, Languages and Programming

0 references

To know or not to know: Epistemic approaches to security protocol verification

0 references

0 references

Computer Aided Verification

0 references

Foundations of Cryptography

0 references

0 references

Knowledge and common knowledge in a distributed environment

0 references

Knowledge, probability, and adversaries

0 references

Theory of Cryptography

0 references

Belief as defeasible knowledge

0 references

Formal semantics for authentication logics

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3384076

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