    |
| Marc M. Adkins |
Computer Security
Work in computer security models (largely theoretical) as well as some practical application. Interested in the practical application of web security.
Planning Research Corporation
As a member of a Research and Development organization Mr. Adkins was involved in a number of general support efforts and some direct contracts.
Support eforts included evaluation of hardware and software, high level analysis and design for various projects, programming, and marketing and proposal efforts.
Technical lead on a research contract applying artificial intelligence techniques to computer security models. The project developed a representation for computer security models that could automatically generate security-preserving rules in a logically proveable framework.
Led the definition of a common notation for security models, constructed the model translator for the common notation using a parser generator. The parser generator, written in Pascal at the College of William and Mary, ran under VAX/VMS. Parse tables were interpreted by a parsing kernel ported to InterLISP-D as part of the contract.
Contributed to the development of the Argus security model, created using the tools developed on the contract.
Skills
- InterLISP-D
- LOOPS
- MYSTRO
- Pascal
- VAX/VMS
- Xerox 1186 (Dove)
