A process calculus for privacy-preserving protocols in location-based service systems (Q2669244)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A process calculus for privacy-preserving protocols in location-based service systems
scientific article

    Statements

    A process calculus for privacy-preserving protocols in location-based service systems (English)
    0 references
    0 references
    0 references
    9 March 2022
    0 references
    process calculus
    0 references
    temporal-epistemic modal logic
    0 references
    model checking
    0 references
    location privacy-preserving mechanisms
    0 references
    location-based services
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers