@article{LorenzClemensSchroetteretal.2022,
  author    = {Lorenz, Claas and Clemens, Vera Elisabeth and Schr{\"o}tter, Max and Schnor, Bettina},
  title     = {Continuous verification of network security compliance},
  series = {IEEE transactions on network and service management},
  volume    = {19},
  journal   = {IEEE transactions on network and service management},
  number    = {2},
  publisher = {Institute of Electrical and Electronics Engineers},
  address   = {New York},
  issn      = {1932-4537},
  doi       = {10.1109/TNSM.2021.3130290},
  pages     = {1729 -- 1745},
  year      = {2022},
  abstract  = {Continuous verification of network security compliance is an accepted need. Especially, the analysis of stateful packet filters plays a central role for network security in practice. But the few existing tools which support the analysis of stateful packet filters are based on general applicable formal methods like Satifiability Modulo Theories (SMT) or theorem prover and show runtimes in the order of minutes to hours making them unsuitable for continuous compliance verification. In this work, we address these challenges and present the concept of state shell interweaving to transform a stateful firewall rule set into a stateless rule set. This allows us to reuse any fast domain specific engine from the field of data plane verification tools leveraging smart, very fast, and domain specialized data structures and algorithms including Header Space Analysis (HSA). First, we introduce the formal language FPL that enables a high-level human-understandable specification of the desired state of network security. Second, we demonstrate the instantiation of a compliance process using a verification framework that analyzes the configuration of complex networks and devices - including stateful firewalls - for compliance with FPL policies. Our evaluation results show the scalability of the presented approach for the well known Internet2 and Stanford benchmarks as well as for large firewall rule sets where it outscales state-of-the-art tools by a factor of over 41.},
  language  = {en}
}
@article{IntziegianniCasselRaufetal.2016,
  author    = {Intziegianni, Konstantina and Cassel, Michael and Rauf, S. and White, S. and Rector, Michael V. and Kaplick, Hannes and Wahmkow, Gunnar and Kratzenstein, S. and Mayer, Frank},
  title     = {Influence of Age and Pathology on Achilles Tendon Properties During a Single-leg Jump},
  series = {International journal of sports medicine},
  volume    = {37},
  journal   = {International journal of sports medicine},
  publisher = {Thieme},
  address   = {Stuttgart},
  issn      = {0172-4622},
  doi       = {10.1055/s-0042-108198},
  pages     = {973 -- 978},
  year      = {2016},
  abstract  = {Prevalence of Achilles tendinopathy increases with age leading to a weaker tendon with predisposition to rupture. Conclusive evidence of the influence of age and pathology on Achilles tendon (AT) properties remains limited, as previous studies are based on standardized isometric conditions. The study investigates the influence of age and pathology on AT properties during single-leg vertical jump (SLVJ). 10 children (C), 10 asymptomatic adults (A), and 10 tendinopathic patients (T) were included. AT elongation [mm] from rest to maximal displacement during a SLVJ on a force-plate was sonographically assessed. AT compliance [mm/N]) and strain [\%] was calculated by dividing elongation by peak ground reaction force [N] and length, respectively. One-way ANOVA followed by Bonferroni post-hoc correction (=0.05) were used to compare C with A and A with T. AT elongation (p=0.004), compliance (p=0.001), and strain were found to be statistically significant higher in C (27 +/- 3mm, 0.026 +/- 0.006[mm/N], 13 +/- 2\%) compared to A (21 +/- 4mm, 0.017 +/- 0.005[mm/N], 10 +/- 2\%). No statistically significant differences (p0.05) was found between A and T (25 +/- 5mm, 0.019 +/- 0.004[mm/N], 12 +/- 3\%). During SLVJ, tendon responded differently in regards to age and pathology with children having the most compliant AT. Higher compliance found in healthy tendons might be considered as a protective factor against load-related injuries.},
  language  = {en}
}