HACMS: high assurance cyber military systems
The work
| Authors | Kathleen Fisher |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 2012 |
| Citekey | fisher2012hacms |
Where it appeared
| Published in | Proceedings of the 2012 ACM Conference on High Integrity Language Technology |
|---|---|
| Pages | 51--52 |
Identifiers
| DOI | 10.1145/2402676.2402695 |
|---|
Settled
| Abstract | Established by reading and recorded in a note on this record, but never written into the field, so the queue went on asking. The note says: "No abstract: the venue prints none for this piece." This settle puts that finding where the queue can see it. |
|---|
A copy is held
pdf, 367.2 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | import via bibtex |
|---|---|
| Added | 2026-08-04 00:00 UTC |
| Approved by | a person 2026-08-11 12:44 UTC |
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},
doi = {10.1145/2402676.2402695},
}
This record lives at https://refs.drheap.org/fisher2012hacms/ and will keep doing so.