Skip to content
Permalink
Branch: master
Commits on Jun 13, 2016
  1. minor edits

    joc02012 committed Jun 13, 2016
  2. Potential removal of extra writing due to repetition or to try and ma…

    Duncan
    Duncan committed Jun 13, 2016
    …ke space for a few extra sentences about ALISA.
  3. Simple edits to the paper. Next push to be potential areas to remove;…

    Duncan
    Duncan committed Jun 13, 2016
    … could help with allowing for a little more writing on ALISA.
  4. Test Sync

    paw10003 committed Jun 13, 2016
Commits on Jun 12, 2016
  1. More paper edits to Section 4. Added Resolute example and additional …

    Duncan
    Duncan committed Jun 12, 2016
    …writing to Mapping Tools subsection. Added some notes to 4.2 about ALISA, but need to remove more writing to add more than a one sentence reference to the ALISA work.
Commits on Jun 11, 2016
  1. Edits to section 3.3

    joc02012 committed Jun 11, 2016
Commits on Jun 10, 2016
  1. Addition of examples from CODES paper. Ask Chandy about which listing…

    Duncan
    Duncan committed Jun 10, 2016
    …s make sense as an example
Commits on Jun 9, 2016
  1. Push of last edits

    paw10003 committed Jun 9, 2016
Commits on Jun 7, 2016
Commits on Jun 2, 2016
Commits on May 30, 2016
Commits on May 29, 2016
  1. Addition of images and additional writing for: (1) explination of cur…

    paw10003 committed May 29, 2016
    …rent Security Annex information, (2) expansion of security centric pro/con of existing tools (Resolute, BLESS, RDALTE), (3) additional writing on lacks within the AADL language, (4) what will need to be added to AADL language to allow for proposed security framework.
  2. Proper formatting of sources. Next push is fixed version of citations…

    paw10003 committed May 29, 2016
    … (making up for previous failed sources push)
  3. reorganized Section 3

    joc02012 committed May 29, 2016
Commits on May 27, 2016
  1. Push of draft for SSR 2016 paper.

    Duncan
    Duncan committed May 27, 2016
You can’t perform that action at this time.