CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Supporting Confidentiality in UML: A Profile for the Decentralized Label Model

Rogardt Heldal (Institutionen för datavetenskap ; Institutionen för datavetenskap, ProSec) ; Steffen Schlager ; Jakob Bende (Institutionen för datavetenskap)
3rd International Workshop on Critical Systems Development with UML (2004)
[Konferensbidrag, refereegranskat]

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.

Denna post skapades 2006-09-28.
CPL Pubid: 2509


Institutioner (Chalmers)

Institutionen för datavetenskap (2002-2004)
Institutionen för datavetenskap, ProSec (2002-2004)


Information Technology

Chalmers infrastruktur