Run-time security traceability for evolving systems /

QR Kodea

Run-time security traceability for evolving systems /

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Bauer, Andreas.
Beste egile batzuk:	Jurjens, Jan., Yu, Yijun.
Formatua:	Artikulua
Hizkuntza:	English
Gaiak:	Cryptographic protocols Formal verification IT security Monitoring Requirements traceability Run-time verification Security analysis Software evolution
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

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

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
nork: Núñez, Manuel, et al.
Argitaratua: (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 /
nork: Kapus, Tatjana.

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

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
nork: D'Souza, Deepak, et al.
Argitaratua: (2015)

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

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Argitaratua: (2001)

Heuristic-guided abstraction refinement /

Building a Blockchain-Based Credential Verification System
nork: Mai, The Son, et al.
Argitaratua: (2025)

Security+ Prep Guide /
nork: Dean Vines Russell
Argitaratua: (2003)

Verification and validation for quality of UML 2.0 models
nork: Unhelkar, Bhuvan
Argitaratua: (2005)

Applying Ethereum Blockchain Technology to Build a Fruit and Vegetable Traceability Application
nork: Ho, Tran Huy Hoang
Argitaratua: (2023)

Building a Waste Classification and Traceability System Using Blockchain and AI Technology
nork: Le, Van Chuong, et al.
Argitaratua: (2025)

Software testing
nork: Hambling, Brian
Argitaratua: (2009)

Applied formal verification
nork: Perry, Douglas L.
Argitaratua: (2005)

BERT-Based Model for Vietnamese Fact Verification Dataset
nork: Tran, Bao, et al.
Argitaratua: (2024)

Software system reliability and security
nork: Broy, Manfred, et al.
Argitaratua: (2013)

Software Safety and Security: Tools for Analysis and Verification
nork: Nipkow, Tobias, et al.
Argitaratua: (2014)

Building a Product Traceability Website for Moc Chau Dairy Company by using Blockchain Technology
nork: Tran, Nhat Minh
Argitaratua: (2023)

Running a marathon for dummies
nork: Karp, Jason
Argitaratua: (2013)

Running a marathon for dummies /
nork: Karp, Jason.
Argitaratua: (2013)

In the Common Defense National Security Law for Perilous Times
nork: Baker, James E
Argitaratua: (2013)

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

Counterfeit Integrated Circuits: Detection and Avoidance
nork: Tehranipoor, Mark, et al.
Argitaratua: (2015)

Internet Security
nork: Rhee, Man Young
Argitaratua: (2003)

Running snob
nork: Nelson, Kevin
Argitaratua: (2017)

Modeling and verification of real-time systems :
Argitaratua: (2008)

SSL and TLS: Designing and building secure systems
nork: Eric Rescorla
Argitaratua: (2001)

Running a marathon for dummies
nork: Karp, Jason.
Argitaratua: (2013)

Running a marathon for dummies
nork: Karp, Jason.
Argitaratua: (2013)

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

Running a marathon for dummies
nork: Karp, Jason R.
Argitaratua: (2013)

The Phenomenology and the Philosophy of Running: The Multiple Dimensions of Long-Distance Running
nork: Koski, Tapio
Argitaratua: (2015)

Open source security tools:
nork: Howlett, Tony
Argitaratua: (2005)

Open source security tools :
nork: Howlett, Tony
Argitaratua: (2005)

Towards a Model for Integrating Process Verification in Process-Driven Application Development
nork: Nguyen, Thanh Tuan, et al.
Argitaratua: (2025)

Enhancing Cryptographic Primitives with Techniques from Error Correcting Codes
nork: Preneel, Bart, et al.
Argitaratua: (2013)

Nghiên cứu đặc điểm tần số đỉnh và liên quan với tuổi, giới ở nhóm bệnh nhân run nguồn gốc trung ương
nork: Vũ, Thị Hinh, et al.
Argitaratua: (2026)

Fundamentals of Secure System Modelling
nork: Matulevičius, Raimundas
Argitaratua: (2020)