The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Specification and validation of a security policy model

The work

AuthorsAnthony Boswell
Editors
Typearticle
Year1995
Citekeyboswell1995specification

Where it appeared

Published inIEEE Transactions on Software Engineering
PublisherIEEE Computer Society
Volume21
Issue2
Pages63--68

Identifiers

DOI10.1109/32.345822
OpenAlexW2153385317

Access

Landing pagehttps://doi.org/10.1109/32.345822

From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.

Abstract

The paper describes the development of a formal security policy model in Z for the NATO Air Command and Control System (ACCS): a large, distributed, multilevel-secure system. The model was subject to manual validation, and some of the issues and lessons in both writing and validating the model are discussed.>

How it got here

How it got hereagent via openalex
Added2026-10-23 19:47 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@article{boswell1995specification,
  title        = {Specification and validation of a security policy model},
  author       = {Anthony Boswell},
  year         = {1995},
  journal      = {IEEE Transactions on Software Engineering},
  publisher    = {IEEE Computer Society},
  volume       = {21},
  number       = {2},
  pages        = {63--68},
  doi          = {10.1109/32.345822},
}

This record lives at https://refs.drheap.org/boswell1995specification/ and will keep doing so.