A Calculus for Game-Based Security Proofs (Q4933210)

From MaRDI portal





scientific article; zbMATH DE number 5798777
Language Label Description Also known as
default for all languages
No label defined
    English
    A Calculus for Game-Based Security Proofs
    scientific article; zbMATH DE number 5798777

      Statements

      A Calculus for Game-Based Security Proofs (English)
      0 references
      0 references
      0 references
      12 October 2010
      0 references
      game-based proofs
      0 references
      implicit complexity
      0 references
      computational indistinguishability
      0 references

      Identifiers