Book
Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code
| العنوان: | Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code |
|---|---|
| المؤلفون: | Møller, Bjarke Hilmer, Søndergaard, Jacob Gosch, Jensen, Kristoffer Skagbæk, Pedersen, Magnus Winkel, Bøgedal, Tobias Worm, Christensen, Anton, Poulsen, Danny Bøgsted, Larsen, Kim Guldstrand, Hansen, René Rydhof, Jensen, Thomas Rosted, Madsen, Heino Juvoll, Uhrenfeldt, Henrik |
| المصدر: | Secure IT Systems ; Lecture Notes in Computer Science ; page 192-211 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030916244 9783030916251 |
| بيانات النشر: | Springer International Publishing |
| سنة النشر: | 2021 |
| نوع الوثيقة: | book part |
| اللغة: | unknown |
| ردمك: | 978-3-030-91624-4 978-3-030-91625-1 3-030-91624-3 3-030-91625-1 |
| DOI: | 10.1007/978-3-030-91625-1_11 |
| الاتاحة: | http://dx.doi.org/10.1007/978-3-030-91625-1_11 https://link.springer.com/content/pdf/10.1007/978-3-030-91625-1_11 |
| Rights: | https://www.springer.com/tdm ; https://www.springer.com/tdm ; https://www.springer.com/tdm ; https://www.springer.com/tdm |
| رقم الانضمام: | edsbas.D4DF2841 |
| قاعدة البيانات: | BASE |
| ردمك: | 9783030916244 9783030916251 3030916243 3030916251 |
|---|---|
| DOI: | 10.1007/978-3-030-91625-1_11 |