01016nam a2200349 4500 DLU110129989 ##20111223 DLU eng eng uk Bauer, Andreas. Run-time security traceability for evolving systems / Andreas Bauer, Jan Jurjens, Yijun Yu. Cryptographic protocols Formal verification IT security Monitoring Requirements traceability Run-time verification Security analysis Software evolution Jurjens, Jan. Yu, Yijun. The Computer Journal Vol. 54, no. 1 (January 2011), p. 58-87 Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt DLU True Trương Bảo Trâm Anh G A BB Thư viện Trường Đại học Đà Lạt