Bridging Model-Based and Language-Based Security

Rogardt Heldal, Fredrik Hultin. Bridging Model-Based and Language-Based Security. In Einar Snekkenes, Dieter Gollmann, editors, Computer Security - ESORICS 2003, 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003, Proceedings. Volume 2808 of Lecture Notes in Computer Science, pages 235-252, Springer, 2003. [doi]

Abstract

Abstract is missing.