A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Confidentiality in the process of (model-driven) software development
2018
Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming - Programming'18 Companion
Much is now understood about how to develop software that will have good security properties in use. We claim that a topic which needs more attention, in particular from the Bx community, is security, especially confidentiality, in the software development process itself. What is then at issue is not what particular users of the software may be allowed to know, but rather, what particular developers of the software may be allowed to know. How can software development processes guarantee to
doi:10.1145/3191697.3191714
dblp:conf/programming/JohnsonS18
fatcat:7inafsjypbe4hnuy63tr6es5x4