Science of Security Meeting, Berkeley CA, 17, 18 Nov 2008 Security and Composition John Rushby Computer Science Laboratory

Source URL: sos.cs.virginia.edu

MILS Research and Development: Accomplishments and Ongoing Work Rance DeLong∗ November 15, 2011 Abstract

Source URL: fm.csl.sri.com

• Multilevel security
• John Rushby
• Lynx Software Technologies
• Milliradian
• Mill
• Assurance services
• Computing
• Software
• Technology

Integrating Verification Components? Leonardo de Moura, Sam Owre, Harald Rueß, John Rushby, Natarajan Shankar Computer Science Laboratory SRI International Menlo Park CAUSA

Source URL: vstte.ethz.ch

Automated Test Generation And Verified Software ? John Rushby Computer Science Laboratory SRI International 333 Ravenswood Avenue

Source URL: vstte.ethz.ch

Littlewood, B. & Rushby, JReasoning about the Reliability of Diverse Two-Channel Systems in which One Channel is "Possibly Perfect". IEEE Transactions on Software Engineering, doi: TSECity Rese

Source URL: openaccess.city.ac.uk

• Engineering
• Safety
• Risk
• Reliability engineering
• Design for X
• Survival analysis
• Safety integrity level
• Redundancy
• Availability
• Probability

ADC Online First, published on December 4, 2014 asarchdischildOriginal article Potential economic impacts from improving breastfeeding rates in the UK S Pokhrel,1 M A Quigley,2 J Fox-Rushby,1 F McCo

Source URL: www.babymilkaction.org

CTSRD SRI: P. Neumann, P. Lincoln, J. Rushby, H. Saidi CRASH-worthy Trustworthy Systems

Source URL: www.cl.cam.ac.uk

MEDELLIN/ANTIOQUIA REGIONAL REPORT DATES: 25th – 27th August 2014 PARTICIPANTS: David Gray, Evin Zengin, Rachel Rushby, Katharina Gamm, Julie Goffin, Thomas MacManus, Fernando Piernavieja, James Ellis, Hannah Burton a

Source URL: www.colombiancaravana.org.uk

• Pablo Escobar
• Magistrate
• Colombia
• Americas
• Political geography
• Antioquia Department
• Land reform
• Medellín

AFM’07: Second Workshop on Automated Formal Methods November 6, 2007 Atlanta, Georgia John Rushby and Natarajan Shankar (Editors) SRI International

Source URL: fm.csl.sri.com

• Information
• Database theory
• Database management systems
• Data model
• Entity-relationship model
• Database schema
• EXPRESS
• Integrity constraints
• Database design
• Data management
• Data modeling
• Data

Phone Book Example John Rushby Computer Science Laboratory SRI International Menlo Park CA USA

Source URL: www.csl.sri.com

• Type theory
• Function
• Axiom
• Mathematics
• Logic
• Mathematical logic