Amanote Research

Amanote Research

    RegisterSign In

Towards a Formal Language for Privacy Options

IFIP Advances in Information and Communication Technology - United States
doi 10.1007/978-3-642-20769-3_3
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer NetworksInformation SystemsManagementCommunications
Date

January 1, 2011

Authors
Stefan Berthold
Publisher

Springer Berlin Heidelberg


Related search

A Formal Model of Data Privacy

English

Formal Verification of Privacy for RFID Systems

2010English

Towards a Formal Framework for Computational Trust

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Formal Language Theory for Natural Language Processing

2002English

Towards Privacy for Social Networks: A Zero-Knowledge Based Definition of Privacy

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Towards a Privacy Rule Conceptual Model for Smart Toys

International Series on Computer Entertainment and Media Technology
2017English

A Formal Architecture for the 3APL Agent Programming Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Towards a Formal Theory of Computability

English

A Formal Model for Parameterized Solids in a Visual Design Language

Journal of Visual Languages and Computing
LinguisticsComputer Science ApplicationsHuman-Computer InteractionLanguage
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy