Discretional Array Operations for Secure Information Flow
Year: 2006
Journal of Information and Computing Science, Vol. 1 (2006), Iss. 2 : pp. 67–77
Abstract
Arrays exist in many nontrivial programs. Array operations can cause subtle information leaks. This paper allows array as first-class value and regards discretional array as array of array by alias array. 2τ is the Arrays are given types of the form security class of the array's alias. To distinguish array from its alias, we propose a novel binary memory model [
Journal Article Details
Publisher Name: Global Science Press
Language: English
DOI: https://doi.org/2024-JICS-22845
Journal of Information and Computing Science, Vol. 1 (2006), Iss. 2 : pp. 67–77
Published online: 2006-01
AMS Subject Headings:
Copyright: COPYRIGHT: © Global Science Press
Pages: 11