All the features of the SPEEDOS System which have been described above are carried over seamlessly into the Internet. The way that this happens is simply by supporting remote inter-module calls. This is achieved in such a way that users need not even be aware that their threads are invoking modules at other nodes. In other words it is a function of the Inter-Module Call routines of the kernel to detect that a module capability which a user passes as an operand for the IMC requires a remote IMC. How it does this and how remote IMCs are implemented is described in detail in Making Computers Secure, volume 2, which can be downloaded below.
There is also a mechanism for sending and receiving secure "emails" between SPEEDOS nodes.
There are also mechanisms for downloading and uploading modules.
All transfers between SPEEDOS nodes which involve the internet are encrypted by the kernel using both single key and public key encryption.