Supporting Confidentiality in UML: A Profile for the Decentralized Label Model
Paper in proceedings, 2004

We present a way of incorporating a decentralized label model into the UML by defining a profile which is the built-in extension mechanism of the UML. Our profile permits specifying the confidentiality of data in UML by offering annotations for classes, attributes, operations, values of objects, and parameters of operations. Furthermore, the profile supports the creation of Jif (Java information flow) code. The Jif compiler guarantees that the specified confidentiality constraints are not violated. Our approach is appealing in the sense that it offers the possibility to consider confidentiality in UML and that the obtained code is guaranteed to behave correctly.

Author

Rogardt Heldal

Chalmers, Department of Computing Science, ProSec

Chalmers, Department of Computing Science

Steffen Schlager

Jakob Bende

Chalmers, Department of Computing Science

3rd International Workshop on Critical Systems Development with UML

Subject Categories

Computer and Information Science

More information

Created

10/6/2017