In 1977 Biba observed the duality between integrity and confidentiality
in the area of information flow control. Since then following work 
focused on the specification of confidentiality requirements restricting 
the information flow between private sources and public sinks. More 
recent publications highlight that treating integrity only as the dual 
to confidentiality does not capture integrity sufficiently. This 
motivates further work in this area.

We contribute to this work by investigating Mantel's framework for the 
specification of confidentiality requirements namely the "Modular 
Assembly Kit for Security Properties" (MAKS) in an integrity setting 
i.e. for behavioral integrity requirements. For this purpose, we 
present our intuitive understanding of MAKS' general concepts in a 
behavioral integrity setting. Moreover, we present an example 
behavioral integrity requirement and express this requirement using 
the general idea of MAKS. In this process we discover that the 
classical "Basic Security Predicates" (BSPs) presented in  are not 
sufficient to capture the proposed requirement. Therefore, we present 
an extension of MAKS able to express the desired integrity requirement 
following the general idea of MAKS, i.e., we present a new BSP BSDA.

Our results provide evidence that MAKS' general idea is applicable in 
an integrity setting. Nevertheless, extensions capturing certain 
aspects that were not relevant in a confidentiality setting are needed.