|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 11 of 17 found articles
| Title: |
Information Flow Testing |
| Author: |
Gruska, Damas P. |
| Appeared in: |
Fundamenta informaticae |
| Paging: | Volume 128 (2013) nr. 1-2 pages 81-95 |
| Year: |
2013-11-14 |
| Contents: |
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. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 11 of 17 found articles
| << previous | next >> |