robur/homepage-data
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Reword.

Browse source
This commit is contained in:
linse 2017-09-16 18:08:57 -04:00
parent afd52350b9
commit 823c7c9967
1 changed files with 4 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
Technology
View file

@ -36,7 +36,7 @@ the interface on which OCaml runs.
OCaml is a functional programming language that minimizes side effects and mutable state.
Its functional programming concepts give us a list of security advantages for MirageOS.
## Running a unikernel & system security
## Running unikernel, system security
Aside from automated memory management to avoid memory corruption, and type checking to avoid many common
programming errors, the major advantage of functional programming is localized reasoning about program code.
@ -90,8 +90,8 @@ A MirageOS unikernel is much smaller than a comparable UNIX
virtual machine. By avoiding superfluous code we decrease the attack surface
immensly.
As example, the lines of code of the [Bitcoin Piñata](/Projects/Pinata) compared
to a virtual machine using Linux and OpenSSL, in thousands of lines of code:
Consider the breakdown of the code of the example system [Bitcoin Piñata](/Projects/Pinata) compared
to a virtual machine using Linux and OpenSSL, measured in thousands of lines of code:
<table>
<tr><th></th><th>Linux</th><th>MirageOS</th></tr>
@ -102,10 +102,7 @@ to a virtual machine using Linux and OpenSSL, in thousands of lines of code:
<tr><td>Total</td><td>2560</td><td>102</td></tr>
</table>
The choice of programming language avoids several attack vectors. Immutable data
structures, type checking and the OCaml runtime memory manager ensure memory
safety in OCaml. By minimising each unikernel to its minimal footprint,
By minimising each unikernel to its minimal footprint,
security breaches are contained to the information the unikernel contains.
### Secure updates