A Model-Based Privacy Compliance Checker

International Journal of e-Business Research - United States
doi 10.4018/jebr.2009040104
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IGI Global

Related search

A Symbolic Model Checker for ACTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

A Markov Chain Model Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Towards a Certified Petri Net Model-Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

The JKind Model Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Z2SAL - Building a Model Checker for Z

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

McMas: A Model Checker for Multi-Agent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Verifying Networked Programs Using a Model Checker Extension

2009English

VoxLogicA: A Spatial Model Checker for Declarative Image Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Privacy-Based Computation Model in E-Business

International Journal of Production Research
IndustrialManufacturing EngineeringStrategyManagement ScienceManagementOperations Research
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy