#InfoSec #PDF #TLS #OlivierLevillain
> Influence de la qualité des #spécifications sur la #SécuritéLogicielle
https://www.college-de-france.fr/site/xavier-leroy/seminar-2022-03-17-11h15.htm

« les seuls produits non industriels qu’on trouve encore dans les produits industriels, c’est le #code […] les programmeurs ne sont pas conscients du fait que les math[s] puissent les aider à gérer la #complexité […] Contrairement au monde de l’aviation, il n’y a pas d’organisme de réglementation de la #SécuritéLogicielle des voitures […] Le développement logiciel basé sur des #modèles est trop coûteux pour eux »
http://internetactu.blog.lemonde.fr/?p=2346
https://www.cs.utexas.edu/users/EWD/transcriptions/EWD12xx/EWD1243a.html
#VeryLargeScaleApplicationOfLogic