A specification and verification method for preventing denial of service
- 1 June 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 16 (6), 581-592
- https://doi.org/10.1109/32.55087
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- A Formal Specification and Verification Method for the Prevention of Denial of Service in Ada ServicesPublished by Defense Technical Information Center (DTIC) ,1988
- Synthesizing Code for Resource ControllersIEEE Transactions on Software Engineering, 1985
- A Note on Denial-of-Service in Operating SystemsIEEE Transactions on Software Engineering, 1984
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- Modular Verification of Computer Communication ProtocolsIEEE Transactions on Communications, 1983
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977
- MonitorsCommunications of the ACM, 1974
- Prevention of system deadlocksCommunications of the ACM, 1969
- Avoiding deadlock in multitasking systemsIBM Systems Journal, 1968