Specifying and verifying secrecy in workflows with arbitrarily many agents (Q1990507)

From MaRDI portal





scientific article; zbMATH DE number 6965624
Language Label Description Also known as
default for all languages
No label defined
    English
    Specifying and verifying secrecy in workflows with arbitrarily many agents
    scientific article; zbMATH DE number 6965624

      Statements

      Identifiers