|
| << 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 7 of 13 found articles
| Title: |
Informational Analysis of Security and Integrity |
| Author: |
Gruska, Damas P. |
| Appeared in: |
Fundamenta informaticae |
| Paging: | Volume 120 (2012) nr. 3-4 pages 295-309 |
| Year: |
2012-12-03 |
| Contents: |
Formalisms for analysis of systems of various nature specified by process algebras are proposed. They allow us to formalize security properties based on an absence of information flow and properties on system's integrity. Resulting properties are compared and discussed. We present also quantification of these properties by means of information theory. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 7 of 13 found articles
| << previous | next >> |