1 / 8

Towards Higher Assurance Software Construction via Aspects Thomas Llansó, Inventor

Towards Higher Assurance Software Construction via Aspects Thomas Llansó, Inventor. Background. Software is ever more complex Determining correctness very challenging What about software security functions? Are they correct and properly integrated ?

cree
Download Presentation

Towards Higher Assurance Software Construction via Aspects Thomas Llansó, Inventor

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Towards Higher Assurance Software Construction via AspectsThomas Llansó, Inventor

  2. Background • Software is ever more complex • Determining correctness very challenging • What about software security functions? • Are they correct and properly integrated? • Often we hire independent labs to find out • Employ an evaluation process (e.g., “Common Criteria”) • Can be slow and costly (>6 months, >$100k)

  3. Roots of the Problem • Painful Integration • Security code… • cuts across systems • mixed in with application code • hard to evolve over time • Integration via non-specialists • Painful Evaluation • Manual, slow tracing • Extra scrutiny due to pedigree • Repeat as system evolves

  4. faster evaluations • lower costs • What we want • improved security • easier integration • What if we had a tool that could... • Automatically integrate security code • Enforce separation of duties • Allow automated tracing requirements ↔ security code ↔ application code …even as software changes over time?

  5. Underlying Technology Key technologies/techniques in tool • Requirements Taxonomy • Aspects (from Aspect-Oriented programming) • Marker Annotations • XML for mappings / representation

  6. Tool (“SRTD”)

  7. Technology Applications • Many stakeholders may find use for the tool

  8. Commercial Opportunities • For technical information contact: Thomas Llanso, Inventor 443-778-6343 thomas.llanso@jhuapl.edu • For licensing information contact: Norma Lee Todd, Technology Manager Office of Technology Transfer The Johns Hopkins University Applied Physics Laboratory 11100 Johns Hopkins Road Laurel, MD 20723 443-778-4528 norma.todd@jhuapl.edu www.jhuapl.edu/ott

More Related