[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Anthony Boswell
- Specification and Validation of a Security Policy Model
- IEEE Trans on Software Eng VSE-21n2(Feb 1995)pp63-68
- =ADVERT TOOL FORMALIZER and Z
typical Z schemas are 6..10 lines long,
65 schemas in total
some here where 11..20 or more
giant schemas: many definitions, state transitions, state includes state of many tables.
systematic documentation of results and structure of arguments
The usefulness of diagrams...systematic diagrams.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]