A Model-Based Privacy Compliance Checker

Tags

based, checker, model

Special Forums News, Links, Events and Announcements UNIX and Linux RSS News A Model-Based Privacy Compliance Checker

11-26-2008

Registered User

26,240, 27

Join Date: Sep 2000

Last Activity: 1 August 2008, 3:09 PM EDT

Posts: 26,240

Thanks Given: 0

Thanked 27 Times in 26 Posts

A Model-Based Privacy Compliance Checker

HPL-2008-193 A Model-Based Privacy Compliance Checker - Pearson, Siani; Allison, Damien
Keyword(s): privacy, e-business organization, compliance checking, modeling, governance
Abstract: Increasingly, e-business organisations are coming under pressure to be compliant to a range of privacy legislation, policies and best practice. There is a clear need for high-level management and administrators to be able to assess in a dynamic, customisable way the degree to which their enterprise ...
Full Report

More...

Linux Bot

View Public Profile for Linux Bot

Find all posts by Linux Bot

Previous Thread | Next Thread

3 More Discussions You Might Find Interesting

1. What is on Your Mind?

UNIX.COM General Data Privacy Regulations (GDPR) Compliance - For Member Comments

Dear All, Please read version Version 0.81 28 May 2018 of our draft UNIX.COM General Data Privacy Regulations (GDPR) Compliance. If you have any data privacy questions or concerns, or would like to see us address any other data privacy topic related to your personal data at UNIX.COM,...

2. OS X (Apple)

POSIX compliance...

Thanks to all you guys about posix compliance I have learnt an enormous amount over the last few days. I have written a program that is an Egg Timer with simple animation. I now realise how sophisticated 'bash' is compared to full posix compliance. The code below has passed all of the tests from...

3. What is on Your Mind?

Small Model Guitars Based on Artist - Have You Seen These?

Today I was in the market place and found this new shop that sells small models of guitars, categorized by the artists who played them. Have you seen these before? What do you think? Is this something anyone would collect?

LEARN ABOUT DEBIAN

checker

checker(1)						      General Commands Manual							checker(1)

NAME

       checker - SPARK Proof Checker

SYNOPSIS

       checker [OPTIONS] [FILE]

DESCRIPTION

       The  SPARK Proof Checker can be used to discharge verification conditions produced by the Examiner (*.vcg), possibly simplified by the Sim-
       plifier (*.siv).  This command is usually used when verification conditions cannot be discharged automatically by the Simplifier.

       By default checker runs in interactive mode.  It accepts commands from user and writes them into a cmd file (or	other  file  specified	by
       -command_log  option).  This file can be used later to run checker in batch mode (using option -execute).  Additionally, proof log is writ-
       ten into a plg file.

OPTIONS

       A summary of options is included below.	All options may be abbreviated to the shortest unique prefix.

       -help  Show summary of options.

       -version
	      Display version information.

       -plain Adopt a plain output style (e.g. no dates or version numbers).

       -overwrite_warning
	      Confirmation needed to overwrite command or proof log files.

       -command_log=LOG_FILE
	      Specify file name for the command log file.

       -proof_log=PLG_FILE
	      Specify file name for the proof log file.

       -execute=LOG_FILE
	      Execute a previously generated command log file.

       -resume
	      Resume a previously saved session.

FILES

       /usr/share/spark/checker/rules/*
	      Checker rules database.

SEE ALSO

       spark(1), sparksimp(1), spadesimp(1), pogs(1).

AUTHOR

       This manual page was written by Eugeniy Meshcheryakov <eugen@debian.org>, for the Debian project (and may be used by others).

								    3 June 2011 							checker(1)

UNIX and Linux RSS News