A Formal Security Model for Microprocessor Hardware.

MLA

Lotz, Volkmar, et al. “A Formal Security Model for Microprocessor Hardware.” IEEE Transactions on Software Engineering, vol. 26, no. 8, Aug. 2000, pp. 702–12. EBSCOhost, https://doi.org/10.1109/32.879809.

APA

Lotz, V., Kessler, V., & Walter, G. H. (2000). A Formal Security Model for Microprocessor Hardware. IEEE Transactions on Software Engineering, 26(8), 702–712. https://doi.org/10.1109/32.879809

Chicago

Lotz, Volkmar, Volker Kessler, and Georg H. Walter. 2000. “A Formal Security Model for Microprocessor Hardware.” IEEE Transactions on Software Engineering 26 (8): 702–12. doi:10.1109/32.879809.