Run-time security traceability for evolving systems /

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Bauer, Andreas.
Tác giả khác:	Jurjens, Jan., Yu, Yijun.
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Cryptographic protocols Formal verification IT security Monitoring Requirements traceability Run-time verification Security analysis Software evolution
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt


LEADER	01016nam a2200349 4500
001	DLU110129989
005	##20111223
040	#	#	\|a DLU \|b eng
041	#	#	\|a eng
044	#	#	\|a uk
100	#	#	\|a Bauer, Andreas.
245	#	#	\|a Run-time security traceability for evolving systems / \|c Andreas Bauer, Jan Jurjens, Yijun Yu.
653	#	#	\|a Cryptographic protocols
653	#	#	\|a Formal verification
653	#	#	\|a IT security
653	#	#	\|a Monitoring
653	#	#	\|a Requirements traceability
653	#	#	\|a Run-time verification
653	#	#	\|a Security analysis
653	#	#	\|a Software evolution
700	#	#	\|a Jurjens, Jan.
700	#	#	\|a Yu, Yijun.
773	#	#	\|t The Computer Journal \|g Vol. 54, no. 1 (January 2011), p. 58-87
920	#	#	\|a Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt
994	#	#	\|a DLU
900	#	#	\|a True
911	#	#	\|a Trương Bảo Trâm Anh
925	#	#	\|a G
926	#	#	\|a A
927	#	#	\|a BB
980	#	#	\|a Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự