Work

Developing secure systems: issues and solutions

Year: 2003

Type: conference-paper

Source: Annual Computer Security Applications Conference

DOI: 10.1109/acsac.1988.113439

Authors: J. Freeman, R. Neely, L. Megalo

Institution: Ford Aerospace (United States)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2143781655

FWCI:

Cites: 3

Cited by: 7

Related to: 10