Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution Scott Lintelman, Richard Robinson, Mingyan Li, Krishna Sampigethaya Trusted Systems and Software, - Confidence distribution - Document - PDFSEARCH.IO

First Page	Meta Content
	Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution Scott Lintelman, Richard Robinson, Mingyan Li, Krishna Sampigethaya Trusted Systems and Software, Add to Reading List Document Date: 2008-06-04 08:52:26 Open Document File Size: 445,75 KB Share Result on Facebook Company Boeing / Systems Technology Airframe Manufacturer Operational Airplane Shared Networks / Siemens / Krishna Sampigethaya Trusted Systems / / / Facility Building Confidence / / IndustryTerm e-distribution / ground systems / software/data distribution / software developers / software development / / Person Scott Lintelman / Richard Robinson / / Position Major / / RadioStation AADS 5 Our FM / Automated FM / 3 FM / Limited FM / FM 4 / / SocialTag Software engineering Common Criteria Science Knowledge ISO standards Methodology Software development process

Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution Scott Lintelman, Richard Robinson, Mingyan Li, Krishna Sampigethaya Trusted Systems and Software,Add to Reading List