Research on the Design of Dependable Computer Systems for   Critical Applications
{'Code': '05010500', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'Janet L. Gatton', 'PO_EMAI': None, 'PO_PHON': None}
The proposed research addresses the problem of designing computer               systems and networks that must simultaneously and dependably satisfy a          set of critical system requirements, e.g., involving protection of              human lives and other valuable resources.  It seeks to establish                generalized notion of trust and trustworthiness for the entire set of           visible system properties (namely requirements such as human safety,            reliability, and security) and other internal properties, to pursue             design structures that explicitly reflect the generalized                       trustworthiness, to formulate specific properties at the various design         layers, and to derive dependencies among these properties--including            the behavior of the constituent computer systems, the environment, and          relevant people in the loop.  Thus, the proposed work will attempt to           extend recent work in formal modeling and formal analysis of security           and fault tolerance, encompassing intuitive, semiformal, and formal             representations of the relevant properties, as appropriate.
{'FirstName': 'Peter', 'LastName': 'Neumann', 'PI_MID_INIT': 'G', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Peter G Neumann', 'EmailAddress': None, 'NSF_ID': '000167099', 'StartDate': '01/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'SRI International', 'CityName': 'MENLO PARK', 'ZipCode': '940253493', 'PhoneNumber': '7032478529', 'StreetAddress': '333 RAVENSWOOD AVE', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'California', 'StateCode': 'CA', 'CONGRESSDISTRICT': '16', 'CONGRESS_DISTRICT_ORG': 'CA16', 'ORG_UEI_NUM': 'SRG2J1WS9X63', 'ORG_LGL_BUS_NAME': 'SRI INTERNATIONAL', 'ORG_PRNT_UEI_NUM': 'SRG2J1WS9X63'}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '2880', 'Text': 'SOFTWARE ENGINEERING AND LANGU'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8715419.xml'}