Rimba. Building High Assurance Secure Applications Using Security Patterns for Capability-based Platforms. IEEE, 2013, doi:10.1109/icse.2013.6606727.