HACMS: high assurance cyber military systems
The work
| Title | HACMS: high assurance cyber military systems |
|---|---|
| Authors | Kathleen Fisher |
| Type | conference paper |
| Year | 2012 |
| Citekey | fisher2012hacms |
Where it appeared
| Published in | Proceedings of the 2012 ACM Conference on High Integrity Language Technology |
|---|---|
| Pages | 51--52 |
Copy held
| Kind | PDF, 376.0 kB |
|---|---|
| Retrieved | 2026-08-08 |
| Held | local, for personal reference |
Where this came from
| How it got here | already cited · cited in bibtex |
|---|---|
| First seen | 2026-08-04 |
| Standing | endorsed |
| Approved | 2026-08-08 |
Cite it as
@inproceedings{fisher2012hacms,
title = {HACMS: high assurance cyber military systems},
author = {Kathleen Fisher},
year = {2012},
booktitle = {Proceedings of the 2012 ACM Conference on High Integrity Language Technology},
pages = {51--52},
}
This record lives at https://refs.drheap.org/fisher2012hacms/ and will keep doing so.