Hints for High-Assurance Cyber-Physical System Design

• ABSTRACT:
  
  With deference to Butler Lampson, I present five hints specifically for building high-assurance cyber-physical systems: (1) use Turing-incomplete languages (2) simple interfaces are secure interfaces, (3) program the glue code and architecture, (4) system verification is a probabilistic game, and (5) high-assurance systems require a high-assurance culture.

• BIBTEX:
  

  @InProceedings{pike-secdev-16,
    author =    {Lee Pike},
    title =     {Hints for High-Assurance Cyber-Physical System Design},
    booktitle = {Proceedings of IEEE Cybersecurity Development (SecDev)},
    publisher = {IEEE},
    year =      {2016},
    month =     {November},
    note =      {Preprint available at \url{https://leepike.github.io/pub_pages/sedev16.html}},
  }
  

• PAPER DOWNLOAD: pike-secdev16.pdf