[aadl]: AADL security annex draft

Mon Apr 11 16:31:57 EDT 2016

Dear all,

Please find a draft of the security annex below. This is a draft and we would welcome any suggestion or comments about it. This annex defines extensions of the AADL language to do some security analysis. We currently have several tools that are using them to perform security analysis. We also have a code generator from AADL to seL4 that are using these extensions in order to automatically produces code that run on top of the seL4 micro-kernel.

We would present the tools during the committee meeting in May. The tools will be released this summer.

We are looking forward to discuss with you about this exciting project.

Julien.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: security-annex-draft.docx
Type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
Size: 132507 bytes
Desc: security-annex-draft.docx
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20160411/32fdb7e2/attachment-0001.docx>