Program Integrity Unit

2005 ◽  
Keyword(s):  
2015 ◽  
Vol 6 (2) ◽  
pp. 23-46
Author(s):  
Tom Chothia ◽  
Chris Novakovic ◽  
Rajiv Ranjan Singh

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.


1987 ◽  
Vol 26 (02) ◽  
pp. 69-72
Author(s):  
D. Fenna

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.


1995 ◽  
Vol 1 (1) ◽  
pp. 71-83 ◽  
Author(s):  
Robert G. Madden

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