Cloud certification process validation using formal methods
- Submitting institution
-
City, University of London
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 780
- Type
- E - Conference contribution
- DOI
-
10.1007/978-3-319-69035-3_5
- Title of conference / published proceedings
- ICSOC 2017: Service-Oriented Computing
- First page
- 65
- Volume
- 10601 LNCS
- Issue
- -
- ISSN
- 0302-9743
- Open access status
- Compliant
- Month of publication
- October
- Year of publication
- 2017
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Candidate for Best Paper in premium conference on Services Computing. *Formal* validation of certification processes themselves using Probabilistic Timed-Automata, to ensure that the process behaves as expected: adherence to a high-level certificate lifecycle; min/max probabilities of revoking an issued certificate, etc. Approach produces code from the model to ensure that the certification will indeed behave according to the model and thus the model analysis results are valid.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
