Run-time security traceability for evolving systems /

Mã QR

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

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

A secure key establishment protocol for zigbee wireless sensor networks /
Bỡi: Yuksel, Ender.

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Bỡi: Núñez, Manuel, et al.
Được phát hành: (2015)

Verifying a synthesized implementation of IEEE-754 floating-point exponential function using HOL / Theorem proving

Closing a system in the dynamic input/output automata model /
Bỡi: Kapus, Tatjana.

"3+3 process" for safety critical software for I&C system in nuclear power plants /
Bỡi: Jung, Jae-Cheon.

Heuristic-guided abstraction refinement /

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Bỡi: D'Souza, Deepak, et al.
Được phát hành: (2015)

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Được phát hành: (2001)

On formalizing and normalizing role-based access control systems /
Bỡi: Power, David.

Security+ Prep Guide /
Bỡi: Dean Vines Russell
Được phát hành: (2003)

Verification and validation for quality of UML 2.0 models
Bỡi: Unhelkar, Bhuvan
Được phát hành: (2005)

Applied formal verification
Bỡi: Perry, Douglas L.
Được phát hành: (2005)

Software testing
Bỡi: Hambling, Brian
Được phát hành: (2009)

Running a marathon for dummies
Bỡi: Karp, Jason
Được phát hành: (2013)

Running a marathon for dummies /
Bỡi: Karp, Jason.
Được phát hành: (2013)

Running snob
Bỡi: Nelson, Kevin
Được phát hành: (2017)

Software system reliability and security
Bỡi: Broy, Manfred, et al.
Được phát hành: (2013)

Software Safety and Security: Tools for Analysis and Verification
Bỡi: Nipkow, Tobias, et al.
Được phát hành: (2014)

Assessment of CFD codes used in nuclear reactor safety simulations /
Bỡi: Smith, B.L..

Counterfeit Integrated Circuits: Detection and Avoidance
Bỡi: Tehranipoor, Mark, et al.
Được phát hành: (2015)

In the Common Defense National Security Law for Perilous Times
Bỡi: Baker, James E
Được phát hành: (2013)

Running a marathon for dummies
Bỡi: Karp, Jason R.
Được phát hành: (2013)

Modeling and verification of real-time systems :
Được phát hành: (2008)

The Phenomenology and the Philosophy of Running: The Multiple Dimensions of Long-Distance Running
Bỡi: Koski, Tapio
Được phát hành: (2015)

Internet Security
Bỡi: Rhee, Man Young
Được phát hành: (2003)

SSL and TLS: Designing and building secure systems
Bỡi: Eric Rescorla
Được phát hành: (2001)

A brief opportunity to run does not function as a reinforcer for mice selected for high daily wheel-running rates /
Bỡi: Belke, Terry W.

Open source security tools:
Bỡi: Howlett, Tony
Được phát hành: (2005)

Open source security tools :
Bỡi: Howlett, Tony
Được phát hành: (2005)

Enhancing Cryptographic Primitives with Techniques from Error Correcting Codes
Bỡi: Preneel, Bart, et al.
Được phát hành: (2013)

Hit the Ground Running with Visual C++.Net
Bỡi: Neiman, Amiram
Được phát hành: (2006)

Hit the Ground Running with Visual C++.Net
Bỡi: Amiram Neiman
Được phát hành: (2006)

Fundamentals of Secure System Modelling
Bỡi: Matulevičius, Raimundas
Được phát hành: (2020)

Security metrics foundations for computer security /
Bỡi: Trcek, Denis.

Interests in securities
Bỡi: Benjamin, Joanna
Được phát hành: (2000)

Security Analysis /
Bỡi: Cottle Sidney
Được phát hành: (1988)

Runner's world :
Được phát hành: (1978)

Smart Grid Security
Bỡi: Goel, Sanjay, et al.
Được phát hành: (2015)

AEGIS : An advanced lattice physics code for light water reactor analyses /

Designing network security
Bỡi: Kaeo, Merike
Được phát hành: (2004)