Easily develop sandboxed apps for UNIX
One of the fundamental problems with UNIX-like operating systems is that they don't seem to make it easy and intuitive to develop applications that are strongly hardened against exploits through sandboxing. With CloudABI, we're trying to make this process a lot easier.
CloudABI is a blend of POSIX and pure capability-based security, which allows you to create applications that are only capable of accessing those things that they are designed to use. As you'll see, software also becomes easier to test and deploy as a result of using this model.
In this presentation I am going to discuss a project I've been working on over the last two years, called CloudABI. CloudABI is a simplified POSIX-like runtime environment that is inspired by FreeBSD's Capsicum. It allows you to create programs that can solely interact with the environment through file descriptors (capabilities). Compared to traditional UNIX-like systems, this approach has three advantages:
It reduces the impact of exploits. If an attacker manages to take over control of a CloudABI application, it can only access those resources that the application was designed to use (for a networked service: typically an already bound TCP socket and some data directories). This is different from most traditional UNIX-like systems, where an attacker would gain access to all resources that the user running the application can access, which is very broad.
It makes applications easier to test. By knowing that an application can only access those resources that are provided explicitly, the entire environment in which the application runs can be customized for testing.
Similarly, it makes applications easier to deploy. This model tends to reduce the need for using containers and virtual machines. Applications can be started directly, while still providing the necessary isolation from the rest of the system.
In this talk I'm going to explain how CloudABI works in detail, while also discussing some of its design decisions. I'll also show how you can design your own CloudABI programs.
CloudABI is available for Linux, FreeBSD and Mac OS X. A NetBSD port also exists.