Security-Critical Software Development Process and Tools

摘要

Security now dominates the forefront of industries as varied as defense, finance, energy, and transportation. Software developed for these markets must ensure that it meets new levels of assurance.rnIn adherence to the MILS (Multiple Independent Levels of Security) specification, software components are separated from each other to ensure that failure or breach of one component does not jeopardize the system.