Run-time security traceability for evolving systems /

QRコード

Run-time security traceability for evolving systems /

保存先:

書誌詳細
第一著者:	Bauer, Andreas.
その他の著者:	Jurjens, Jan., Yu, Yijun.
フォーマット:	論文
言語:	English
主題:	Cryptographic protocols Formal verification IT security Monitoring Requirements traceability Run-time verification Security analysis Software evolution
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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

類似資料

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

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
著者:: Núñez, Manuel, 等
出版事項: (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 /
著者:: Kapus, Tatjana.

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

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
著者:: D'Souza, Deepak, 等
出版事項: (2015)

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

Heuristic-guided abstraction refinement /

Building a Blockchain-Based Credential Verification System
著者:: Mai, The Son, 等
出版事項: (2025)

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

Security+ Prep Guide /
著者:: Dean Vines Russell
出版事項: (2003)

Verification and validation for quality of UML 2.0 models
著者:: Unhelkar, Bhuvan
出版事項: (2005)

Applying Ethereum Blockchain Technology to Build a Fruit and Vegetable Traceability Application
著者:: Ho, Tran Huy Hoang
出版事項: (2023)

Building a Waste Classification and Traceability System Using Blockchain and AI Technology
著者:: Le, Van Chuong, 等
出版事項: (2025)

Software testing
著者:: Hambling, Brian
出版事項: (2009)

Applied formal verification
著者:: Perry, Douglas L.
出版事項: (2005)

Software system reliability and security
著者:: Broy, Manfred, 等
出版事項: (2013)

BERT-Based Model for Vietnamese Fact Verification Dataset
著者:: Tran, Bao, 等
出版事項: (2024)

Software Safety and Security: Tools for Analysis and Verification
著者:: Nipkow, Tobias, 等
出版事項: (2014)

Running a marathon for dummies
著者:: Karp, Jason
出版事項: (2013)

Running a marathon for dummies /
著者:: Karp, Jason.
出版事項: (2013)

Building a Product Traceability Website for Moc Chau Dairy Company by using Blockchain Technology
著者:: Tran, Nhat Minh
出版事項: (2023)

Running snob
著者:: Nelson, Kevin
出版事項: (2017)

In the Common Defense National Security Law for Perilous Times
著者:: Baker, James E
出版事項: (2013)

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

Counterfeit Integrated Circuits: Detection and Avoidance
著者:: Tehranipoor, Mark, 等
出版事項: (2015)

Internet Security
著者:: Rhee, Man Young
出版事項: (2003)

Running a marathon for dummies
著者:: Karp, Jason.
出版事項: (2013)

Running a marathon for dummies
著者:: Karp, Jason.
出版事項: (2013)

Modeling and verification of real-time systems :
出版事項: (2008)

SSL and TLS: Designing and building secure systems
著者:: Eric Rescorla
出版事項: (2001)

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

Running a marathon for dummies
著者:: Karp, Jason R.
出版事項: (2013)

The Phenomenology and the Philosophy of Running: The Multiple Dimensions of Long-Distance Running
著者:: Koski, Tapio
出版事項: (2015)

Open source security tools:
著者:: Howlett, Tony
出版事項: (2005)

Open source security tools :
著者:: Howlett, Tony
出版事項: (2005)

Towards a Model for Integrating Process Verification in Process-Driven Application Development
著者:: Nguyen, Thanh Tuan, 等
出版事項: (2025)

Enhancing Cryptographic Primitives with Techniques from Error Correcting Codes
著者:: Preneel, Bart, 等
出版事項: (2013)

Fundamentals of Secure System Modelling
著者:: Matulevičius, Raimundas
出版事項: (2020)

Security metrics foundations for computer security /
著者:: Trcek, Denis.