Bedford / Pasadena / Boston / Fairmont / New York / Berlin / Indianapolis / /
Company
Norwell / Jet Propulsion Laboratory / Collaborative Enterprise / Vio Mitigation Mitigation AC AB AD / ACM Press / McGraw-Hill / ABC AB / Testing / FMF / Enabling Technologies / Mitre Corporation / SRI International / /
Country
United States / /
Currency
USD / / /
Event
Business Partnership / /
Facility
Carnegie Mellon University / Jet Propulsion Laboratory / NASA IV&V Facility / University of California at Davis / Computer Science laboratory / Validation Facility / California Institute of Technology / *Jet Propulsion Laboratory / /
IndustryTerm
or updates software / classical software / software security / software components / parent server / Software model checkers / exhaustive search / software product / software security properties / software development / software engineering methods / distributed systems software / software artifacts / software artifact / software security risk / application software / download applications / agent software / Secure computer systems / software vulnerabilities / web server / software properties / secure software / /
Organization
California Institute of Technology / University of California / United States government / AB AD / Carnegie Mellon University / National Aeronautics and Space Administration / Matt Bishop** *Jet Propulsion Laboratory / /
Person
David P. Gilliam / Checking / John D. Powell / Van Lamsweerde / Matt Bishop / /
Position
Model / bishop / /
ProgrammingLanguage
Promela / /
ProvinceOrState
Alberta / West Virginia / California / Massachusetts / /
PublishedMedium
IEEE Transactions on Software Engineering / Lecture Notes in Computer Science / /
Technology
SSL / Process Technology / DNS / JAVA / SSL protocol / web server / /
Application of Lightweight Formal Methods to Software Security David P. Gilliam,* John D. Powell,* and Matt Bishop** *Jet Propulsion Laboratory, California Institute of Technology