Program Integrity Unit

2005 ◽  
Keyword(s):  
Program Integrity

Calculating Quantitative Integrity and Secrecy for Imperative Programs

2015 ◽  
Vol 6 (2) ◽  
pp. 23-46
Author(s):  
Tom Chothia ◽  
Chris Novakovic ◽  
Rajiv Ranjan Singh
Keyword(s):  
Mutual Information ◽  
Information Flow ◽  
Quantitative Information ◽  
Error Correcting Codes ◽  
Conditional Mutual Information ◽  
Program Integrity ◽  
Data Contamination ◽  
Definition Of ◽  
Quantitative Information Flow ◽  
Libor Rate

This paper presents a framework for calculating measures of data integrity for programs in a small imperative language. The authors develop a Markov chain semantics for their language which calculates Clarkson and Schneider's definitions of data contamination, data suppression, program suppression and program transmission. The authors then propose their own definition of program integrity for probabilistic specifications. These definitions are based on conditional mutual information and entropy; they present a result relating them to mutual information, which can be calculated by a number of existing tools. The authors extend a quantitative information flow tool (CH-IMP) to calculate these measures of integrity and demonstrate this tool with examples including error correcting codes, the Dining Cryptographers protocol and the attempts by a number of banks to influence the Libor rate.

A Scheme for Usage Integrity

1987 ◽  
Vol 26 (02) ◽  
pp. 69-72
Author(s):  
D. Fenna
Keyword(s):  
Information Systems ◽  
Data Protection ◽  
Medical Information ◽  
Medical Information Systems ◽  
University Of Alberta ◽  
Program Integrity ◽  
The Subject ◽  
Data Program ◽  
The University

SummaryThe need for assured integrity and confidentiality in medical information systems has long been recognized and has been the subject of major international working conferences [4, 5]. Beyond the purely physical, the field of data protection is commonly recognized as being divided into data/program integrity and usage integrity. This paper addresses the latter, describing a sophisticated scheme developed at the University of Alberta and progressively implemented at several associated hospitals. The IFIP-IMIA WG4 conference of 1982 reported in its conclusions “a need for well defined and accurately described cases that can be used as a reference”; this paper offers one such case.

Disability Law and Undergraduate Social Work Education: Practicing What We Preach

1995 ◽  
Vol 1 (1) ◽  
pp. 71-83 ◽  
Author(s):  
Robert G. Madden
Keyword(s):  
Social Work ◽  
Students With Disabilities ◽  
Postsecondary Education ◽  
Education Institution ◽  
Student Rights ◽  
Program Integrity ◽  
Disability Law ◽  
Social Work Programs ◽  
Work Education ◽  
The Relationship

There are a variety of laws and regulations governing the relationship between a postsecondary education institution and a student with a disability. This paper reviews the laws by analyzing cases brought by students who claimed their rights had been violated. Specific recommendations are made for undergraduate social work programs. Student rights can be protected while maintaining program integrity if programs can respond flexibly to the needs of students with disabilities.

Sign in / Sign up

Export Citation Format

Share Document