Authors
Rogardt Heldal, Fredrik Hultin
Publication date
2003
Conference
Computer Security–ESORICS 2003: 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003. Proceedings 8
Pages
235-252
Publisher
Springer Berlin Heidelberg
Description
We present a way to support the development of software applications that takes into account confidentiality issues, and how the developed code can be automatically verified. We use the Unified Modelling Language (UML) together with annotations to permit confidentiality to be considered during the whole development process from requirements to code. We have provided support for software development using UML diagrams so that the code produced can be be validated by a language-based checker, in our case Jif (Java information flow). We demonstrate that the combination of model-based and language-based security is compelling.
Total citations
20042005200620072008200920102011201220132014201520162017201820192020202124241311112311211
Scholar articles
R Heldal, F Hultin - Computer Security–ESORICS 2003: 8th European …, 2003