Für diesen Artikel ist leider kein Bild verfügbar.

Certified Security by Design Using Higher Order Logic

Shiu-Kai Chin, Susan Older (Autoren)

Buch | Hardcover

375 Seiten

2023
CRC Press (Verlag)
978-1-138-06218-4 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

This textbook serves the needs of engineers and computer scientists responsible for designing, implementing, and verifying secure computer and information systems. Methods are based on the application of logic as a means for describing, reasoning about, and verifying the properties of systems. We use logic from the conceptualization stage, through the design phase, and up to and including verification and certification. The use of computer-aided design (CAD) tools and computer assisted reasoning tools, such as theorem provers, is essential. We have included numerous examples to illustrate principles, as well as many exercises to serve as assessments of knowledge.

Shiu-Kai Chin is a Professor at Syracuse University. He has devised, with Prof. Susan Older, Certified Security by Design (CSBD) to apply formal logic and tools to design and verify trustworthy systems. JP Morgan Chase used CSBD to verify the logic of its SWIFT protocols for commercial transactions. The Air Force uses CSBD to assure missions in cyberspace. Shiu-Kai was a research scientist in the Defensive Information Warfare Branch of the Air Force Research Laboratory (AFRL). He is an instructor in the AFRL Advanced Course in Engineering (ACE) Cybersecurity Boot Camp.

Part I: Introduction and Motivation; Part II: Introduction to ML; Part III: Introduction to HOL;Part IV: Access-Control Logic in HO;. Part V: Cryptographic Components; Part VI: Transition Systems.

Erscheinungsdatum	31.08.2018
Verlagsort	London
Sprache	englisch
Maße	156 x 234 mm
Themenwelt	Informatik ► Netzwerke ► Sicherheit / Firewall
ISBN-10	1-138-06218-9 / 1138062189
ISBN-13	978-1-138-06218-4 / 9781138062184
Zustand	Neuware