Cargando…
The HACMS program: using formal methods to eliminate exploitable bugs
For decades, formal methods have offered the promise of verified software that does not have exploitable bugs. Until recently, however, it has not been possible to verify software of sufficient complexity to be useful. Recently, that situation has changed. SeL4 is an open-source operating system mic...
| Autores principales: | , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
The Royal Society Publishing
2017
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5597724/ https://www.ncbi.nlm.nih.gov/pubmed/28871050 http://dx.doi.org/10.1098/rsta.2015.0401 |