A framework for analyzing probabilistic protocols and its application to the partial secrets exchange (Q2463563): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: A calculus for cryptographic protocols: The spi calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4813196 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Trustworthy Global Computing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4256644 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4508299 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2760248 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Testing equivalences for processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A randomized encoding of the \(\pi\)-calculus with mixed choice / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4847023 / rank | |||
Normal rank |
Latest revision as of 14:10, 27 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A framework for analyzing probabilistic protocols and its application to the partial secrets exchange |
scientific article |
Statements
A framework for analyzing probabilistic protocols and its application to the partial secrets exchange (English)
0 references
14 December 2007
0 references
security
0 references
probabilistic protocols
0 references
oblivious transfer
0 references
contract signing
0 references