Exploring Compartmentalisation Hypotheses with SOAAP | Zendy

Khilan Gudka | Zendy; Robert N. M. Watson | Zendy; Steven Hand | Zendy; Ben Laurie | Zendy; Anil Madhavapeddy | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Exploring Compartmentalisation Hypotheses with SOAAP

Author(s) -

Khilan Gudka,

Robert N. M. Watson,

Steven Hand,

Ben Laurie,

Anil Madhavapeddy

Publication year - 2012

Publication title -

citeseer x (the pennsylvania state university)

Language(s) - English

Resource type - Conference proceedings

ISBN - 978-1-4673-5153-9

DOI - 10.1109/sasow.2012.14

Subject(s) - computer science , correctness , software security assurance , limiting , software engineering , variety (cybernetics) , software , computer security , programming language , information security , engineering , mechanical engineering , artificial intelligence , security service

Application compartmentalisation decomposes software into sandboxed components in order to mitigate security vulnerabilities, and has proven effective in limiting the impact of compromise. However, experience has shown that adapting existing C-language software is difficult, often leading to problems with correctness, performance, complexity, and most critically, security. Security-Oriented Analysis of Application Programs (SOAAP) is an in-progress research project into new semi-automated techniques to support compartmentalisation. SOAAP employs a variety of static and dynamic approaches, driven by source code annotations termed compartmentalisation hypotheses, to help programmers evaluate strategies for compartmentalising existing software.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research