External Links

    Journal: Computers & Security

    Volume 29, Issue 3

    299 -- 301Seok-Won Lee, Mattia Monga. Special issue on software engineering for secure systems
    302 -- 314Alfredo Pironti, Riccardo Sisto. Provably correct Java implementations of Spi Calculus security protocols specifications
    315 -- 330Andreas Bauer 0002, Jan Jürjens. Runtime verification of cryptographic protocols
    331 -- 349Liang Xiao 0002, Bo Hu, Madalina Croitoru, Paul H. Lewis, Srinandan Dasmahapatra. A knowledgeable security model for distributed health information systems
    350 -- 379Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel. A framework of composable access control features: Preserving separation of access control concerns from models to code
    runs on