Cristin-resultat-ID: 1273735
Sist endret: 24. september 2015, 21:29
Resultat
Vitenskapelig antologi/Konferanseserie
2007

4th International Workshop on Formal Aspects in Security and Trust (FAST'06)

Utgiver/serie

Utgiver

Springer
NVI-nivå 1

Om resultatet

Vitenskapelig antologi/Konferanseserie
Publiseringsår: 2007
Hefte: 4691
Antall sider: 16
ISBN: 9783540752264

Importkilder

SINTEF AS-ID: S4218

Beskrivelse Beskrivelse

Tittel

4th International Workshop on Formal Aspects in Security and Trust (FAST'06)

Kapitler/Artikler Kapitler/Artikler

A semantic paradigm for component-based specification integrating a notion of security risk.

Brændeland, Gyrd; Stølen, Ketil. 2007, Springer. SINTEFVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Maintaining information flow security under refinement and transformation.

Seehusen, Fredrik; Stølen, Ketil. 2007, Springer. SINTEFVitenskapelig Kapittel/Artikkel/Konferanseartikkel
1 - 2 av 2