Scott Lintelman

Publication Activity (10 Years)

Years Active: 2007-2008
Publications (10 Years): 0

Publications

Scott Lintelman, Richard Robinson, Mingyan Li, Krishna Sampigethaya
Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution. FM (2008)
Richard Robinson, Mingyan Li, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran, David von Oheimb, Jens-Uwe Bußer, Jorge Cuéllar
Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety. SAFECOMP (2007)