Aspects of availability. Enforcing timed properties to prevent denial of service

DOI10.1016/J.SCICO.2009.10.002zbMATH Open1211.68070OpenAlexW2044226583MaRDI QIDQ608233FDOQ608233

Authors: Pascal Fradet, Stéphane Hong Tuan Ha 

Publication date: 25 November 2010

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2009.10.002

Recommendations

• Aspects preserving properties
• scientific article; zbMATH DE number 1500481
• Aspect Categories and Classes of Temporal Properties
• scientific article; zbMATH DE number 1927569
• An Expressive Aspect Language for System Applications with Arachne

zbMATH Keywords

resource managementtimed automataavailabilitydenial of serviceaspect-oriented programmingweaving

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cites Work

• Uppaal in a nutshell
• Title not available (Why is that?)
• A theory of timed automata
• Lectures on Concurrency and Petri Nets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Enforcing trace properties by program transformation
• Programming Languages and Systems
• Modeling control speculation for timing analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relating complexity and precision in control flow analysis
• Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework

Uses Software

• AspectJ
• Uppaal

This page was built for publication: Aspects of availability. Enforcing timed properties to prevent denial of service

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q608233)