@misc{1269631,
  author = {Chung Tong Hu},
  title = {Security Property Verification by Transition Model},
  year = {2025},
  month = {2025-01-31 05:01:00},
  publisher = {NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=959317},
  doi = {https://doi.org/10.6028/NIST.IR.8539},
  language = {en},
}