Stable Availability under Denial of Service Attacks through Formal Patterns

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2012
Type of Publication:	In Proceedings
Authors:	Eckhardt, Jonas M\, Tobias AlTurki, Musab Meseguer, Jos\'{e} Wirsing, Martin
Editor:	Lara, Juan and Zisman, Andrea
Book title:	15th International Conference on Fundamentals of Software Engineering (FASE'12)
Series:	LNCS




@conference{EckhardtAndWirsing, author = "Jonas Eckhardt and Tobias M\ and Musab AlTurki and Jos\'{e} Meseguer and Martin Wirsing", booktitle = "15th International Conference on Fundamentals of Software Engineering (FASE'12)", doi = "10.1007/978-3-642-34005-5_4", editor = "Lara, Juan and Zisman, Andrea", note = "PARTNERS: LMU and partners outside NESSoS (TU, Augsburg, Illinois); PROJECTS: NESSoS; NoTier cites:17", publisher = "Springer", series = "LNCS", title = "{S}table {A}vailability under {D}enial of {S}ervice {A}ttacks through {F}ormal {P}atterns", year = "2012", }
Note:	PARTNERS: LMU and partners outside NESSoS (TU, Augsburg, Illinois); PROJECTS: NESSoS; NoTier cites:17
[Bibtex]