A Specification and Verification Method for Preventing Denial of Service
IEEE Transactions on Software Engineering
ACM Transactions on Information and System Security (TISSEC)
COCA: A secure distributed online certification authority
ACM Transactions on Computer Systems (TOCS)
Survey of network-based defense mechanisms countering the DoS and DDoS problems
ACM Computing Surveys (CSUR)
Execution monitoring enforcement under memory-limitation constraints
Information and Computation
Execution monitoring enforcement for limited-memory systems
Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services
The curse of ease of access to the internet
ICISS'07 Proceedings of the 3rd international conference on Information systems security
On the evolution of adversary models in security protocols: or know your friend and foe alike
Proceedings of the 13th international conference on Security protocols
Reconstruction of malicious internet flows
Proceedings of the 6th International Wireless Communications and Mobile Computing Conference
A formal specification and verification method for the prevention of denial of service
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
Security-policy monitoring and enforcement with JavaMOP
Proceedings of the 7th Workshop on Programming Languages and Analysis for Security
ACM SIGSOFT Software Engineering Notes
Analysis and Evaluation of Jammer Interference in LTE
Proceedings of the Second International Conference on Innovative Computing and Cloud Computing
Hi-index | 0.00 |
A simple and general definition of denial-of-service in operating systems is presented. It is argued that no current protection mechanism nor model resolves this problem in any demonstrable way. The notion of interuser dependency is introduced and identified as the common cause for all problem instances. Decomposition of operating systems into hierarchies of services is assumed for the discovery of denial-of-service instances.