George W. Dinolt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
1984–1989
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1989 | SP | Formal Model of a Trusted File Server. | J. C. Williams, George W. Dinolt |
| 1987 | SP | A Graph-Theoretic Formulation of Multilevel Secure Distributed Systems: An Overview. | J. C. Williams, George W. Dinolt |
| 1984 | SP | Multinet Gateway-Towards A1 Certification. | George W. Dinolt, Richard B. Neely, P. C. Baker, James W. Freeman |