Nonscalar types, such as arrays, records (structures), and variant records (unions) also contain information. The rules for information flow classes for these data types are built on the scalar types. Consider the array a: array 1 .. 100 of int; First, look at information flows out of an element a[i] of the array. In this case, information flows from a[i] and from i, the latter by virtue of the index indicating which element of the array to use. Information flows into a[i] affect only the value in a[i], and so do not affect the information in i.
Nonscalar types, such as arrays, records (structures), and variant records (unions) also contain information. The rules for information flow classes for these data types are built on the scalar types.
Consider the array
a: array 1 .. 100 of int;
First, look at information flows out of an element a[i] of the array. In this case, information flows from a[i] and from i, the latter by virtue of the index indicating which element of the array to use. Information flows into a[i] affect only the value in a[i], and so do not affect the information in i. Thus, for information flows from a[i], the class involved is lub{ a[i], i }; for information flows into a[i], the class involved is a[i].
Above is the infromation flow security
Below is the small info on Structures.
The structure consists of several fields, each of which acts like a variable. Say you have a structure with two integer fields, x and y. You want to assign the value of x to a variable. What information flow constraints must be satisfied? Similarly, if you want to assign the entire structure to another, what information flow constraints must be satisfied? The question requires us to initialize a structure by ourselves, then we assume an assignment for this structure and consider what constraints this information flow must be satisfied.
Here is an example structure in C:
struct xyzzy {
int firstfield;
char secondfield[10];
char *thirdfield;
float fourthfield;
};
PLEASE ANSWER CORRECTLY
Trending now
This is a popular solution!
Step by step
Solved in 3 steps
