|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 11 van 17 gevonden artikelen
| Titel: |
Information Flow Testing |
| Auteur: |
Gruska, Damas P. |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 128 (2013) nr. 1-2 pagina's 81-95 |
| Jaar: |
2013-11-14 |
| Inhoud: |
Process testing as a way to obtain information on confidential data is investigated. Our working formalism is based on an appropriate (probabilistic) process algebra and (probabilistic) testing. We define testing noninterference as well as sets of private actions which execution is guaranteed by a given test and sets of actions which execution could be excluded by a given test. Moreover, we relate obtained information to a size of the test. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 11 van 17 gevonden artikelen
| << vorige | volgende >> |