Abstract
We consider a fragment of the Quality Calculus, previously introduced for defensive programming of software components such that it becomes natural to plan for default behaviour in case the ideal behaviour fails due to unreliable communication. This paper develops a probabilistically based trust analysis supporting the Quality Calculus. It uses information about the probabilities that expected input will be absent in order to determine the trustworthiness of the data used for controlling the distributed system; the main challenge is to take accord of the stochastic dependency between some of the inputs. This takes the form of a relational static analysis dealing with quantitative information.
| Original language | English |
|---|---|
| Title of host publication | Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings |
| Publisher | Springer |
| Publication date | 2013 |
| Pages | 258-272 |
| ISBN (Print) | 978-3-642-38591-9 |
| ISBN (Electronic) | 978-3-642-38592-6 |
| DOIs | |
| Publication status | Published - 2013 |
| Event | 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS) - Florence, Italy Duration: 3 Jun 2013 → 6 Jun 2013 http://forte13.sosy-lab.org/cfp.php |
Conference
| Conference | 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS) |
|---|---|
| Country/Territory | Italy |
| City | Florence |
| Period | 03/06/2013 → 06/06/2013 |
| Internet address |
| Series | Lecture Notes in Computer Science |
|---|---|
| Volume | 7892 |
| ISSN | 0302-9743 |
Keywords
- Calculations
- Network security
- Quality control