1. Bell, D.E. and LaPadula, L.J.: Secure Computer Systems: Mathematical Foundations and Model. Mitre Corp. Report No. M74–244, Bedford, Mass.
2. Biba, K.J.: Integrity Considerations for Secure Computer Systems. Mitre Corp. Report TR-3153, Bedford, Mass.
3. Denning, D.E.: A Lattice Model of Secure Information Flow. Communications of the ACM, 19 (5), 236–243.
4. Díaz, P., Aedo, I. and Panetsos, F.: Labyrinth, an abstract model for hypermedia applications. Description of its static components. Information Systems, 22 (8), 447–464.
5. Díaz, P., Aedo, I., Panetsos, F. and Ribagorda, A.: A security model for the design of hypermedia systems. Proc. of the 14th Information Security Conference SEC98. Vienna and Budapest. 251–260.