3 citations · 3 across the 1 of their papers we have counts for
1 paper
David Bettencourt da Cruz, Bernhard Rumpe, Guido Wimmel
This paper reports on an incremental method that allows adding security mechanisms to an existing, but insecure system, such as a prototype or a legacy system. The incremental meth…