|
| << 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 7 van 13 gevonden artikelen
| Titel: |
Informational Analysis of Security and Integrity |
| Auteur: |
Gruska, Damas P. |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 120 (2012) nr. 3-4 pagina's 295-309 |
| Jaar: |
2012-12-03 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 7 van 13 gevonden artikelen
| << vorige | volgende >> |