Composition of password-based protocols (Q2248082): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Import241208061232 (talk | contribs)
Normalize DOI.
 
(8 intermediate revisions by 7 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s10703-013-0184-6 / rank
Normal rank
 
Property / author
 
Property / author: Mark D. Ryan / rank
Normal rank
 
Property / author
 
Property / author: Mark D. Ryan / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: AVISPA / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2045679397 / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q114689970 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Foundations of Software Science and Computation Structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mobile values, new names, and secure communication / rank
 
Normal rank
Property / cites work
 
Property / cites work: Contributory Password-Authenticated Group Key Exchange with Join Capability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Smooth Projective Hashing for Conditionally Extractable Commitments / rank
 
Normal rank
Property / cites work
 
Property / cites work: A framework for compositional verification of security protocols / rank
 
Normal rank
Property / cites work
 
Property / cites work: From One Session to Many: Dynamic Tags for Security Protocols / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bounding Messages for Free in Security Protocols / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer Aided Verification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Safely composing security protocols / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4417856 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Strong Cryptography from Weak Secrets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3374907 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universally Composable Password-Based Key Exchange / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2849571 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Safely Composing Security Protocols / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decision procedures for the security of protocols with probabilistic encryption against offline dictionary attacks / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3149675 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S10703-013-0184-6 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 16:13, 17 December 2024

scientific article
Language Label Description Also known as
English
Composition of password-based protocols
scientific article

    Statements

    Composition of password-based protocols (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    30 June 2014
    0 references
    security protocols
    0 references
    formal analysis
    0 references
    composition
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references