مؤتمر
Layered Formal Verification of a TCP Stack
العنوان: | Layered Formal Verification of a TCP Stack |
---|---|
المؤلفون: | Cluzel, Guillaume, Georgiou, Kyriakos, Moy, Yannick, Zeller, Clement |
المصدر: | 2021 IEEE Secure Development Conference (SecDev) SECDEV Secure Development Conference (SecDev), 2021 IEEE. :86-93 Oct, 2021 |
Relation: | 2021 IEEE Secure Development Conference (SecDev) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781665431705 |
---|---|
DOI: | 10.1109/SecDev51306.2021.00028 |