Stratified Abstraction of Access Control Policies

The shift to cloud-based APIs has made application security critically depend on understanding and reasoning about policies that regulate access to cloud resources. We present stratified predicate abstraction, a new approach that summarizes complex security policies into a compact set of positive and declarative statements that precisely state who has access to a resource. We have implemented stratified abstraction and deployed it as the engine powering AWS’s IAM Access Analyzer service, and hence, demonstrate how formal methods and SMT can be used for security policy explanation

Rivaroxaban Compared with Standard Anticoagulants for the Treatment of Acute Venous Thromboembolism in Children: a Randomised, Controlled, Phase 3 Trial

Background: Treatment of venous thromboembolism in children is based on data obtained in adults with little direct documentation of its efficacy and safety in children. The aim of our study was to compare the efficacy and safety of rivaroxaban versus standard anticoagulants in children with venous thromboembolism. Methods: In a multicentre, parallel-group, open-label, randomised study, children (aged 0–17 years) attending 107 paediatric hospitals in 28 countries with documented acute venous thromboembolism who had started heparinisation were assigned (2:1) to bodyweight-adjusted rivaroxaban (tablets or suspension) in a 20-mg equivalent dose or standard anticoagulants (heparin or switched to vitamin K antagonist). Randomisation was stratified by age and venous thromboembolism site. The main treatment period was 3 months (1 month in children <2 years of age with catheter-related venous thromboembolism). The primary efficacy outcome, symptomatic recurrent venous thromboembolism (assessed by intention-to-treat), and the principal safety outcome, major or clinically relevant non-major bleeding (assessed in participants who received ≥1 dose), were centrally assessed by investigators who were unaware of treatment assignment. Repeat imaging was obtained at the end of the main treatment period and compared with baseline imaging tests. This trial is registered with ClinicalTrials.gov, number NCT02234843 and has been completed. Findings: From Nov 14, 2014, to Sept 28, 2018, 500 (96%) of the 520 children screened for eligibility were enrolled. After a median follow-up of 91 days (IQR 87–95) in children who had a study treatment period of 3 months (n=463) and 31 days (IQR 29–35) in children who had a study treatment period of 1 month (n=37), symptomatic recurrent venous thromboembolism occurred in four (1%) of 335 children receiving rivaroxaban and five (3%) of 165 receiving standard anticoagulants (hazard ratio [HR] 0·40, 95% CI 0·11–1·41). Repeat imaging showed an improved effect of rivaroxaban on thrombotic burden as compared with standard anticoagulants (p=0·012). Major or clinically relevant non-major bleeding in participants who received ≥1 dose occurred in ten (3%) of 329 children (all non-major) receiving rivaroxaban and in three (2%) of 162 children (two major and one non-major) receiving standard anticoagulants (HR 1·58, 95% CI 0·51–6·27). Absolute and relative efficacy and safety estimates of rivaroxaban versus standard anticoagulation estimates were similar to those in rivaroxaban studies in adults. There were no treatment-related deaths. Interpretation: In children with acute venous thromboembolism, treatment with rivaroxaban resulted in a similarly low recurrence risk and reduced thrombotic burden without increased bleeding, as compared with standard anticoagulants. Funding: Bayer AG and Janssen Research & Development. © 2020 Elsevier Ltd

Rivaroxaban compared with standard anticoagulants for the treatment of acute venous thromboembolism in children: a randomised, controlled, phase 3 trial

Treatment of venous thromboembolism in children is based on data obtained in adults with little direct documentation of its efficacy and safety in children. The aim of our study was to compare the efficacy and safety of rivaroxaban versus standard anticoagulants in children with venous thromboembolism