Building high assurance secure applications using security patterns for capability-based platforms.

Paul Rimba

Browse the full ICSE paper archive.