Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
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/serie
Utgiver
Springer
NVI-nivå 1
Finn i kanalregisteret
Om resultatet
Om resultatet
Vitenskapelig antologi/Konferanseserie
Publiseringsår: 2007
Hefte: 4691
Antall sider: 16
ISBN: 9783540752264
Lenker
Lenker
ORIA
Søk i ORIA med 9783540752264
Importkilder
Importkilder
SINTEF AS-ID: S4218
Beskrivelse
Beskrivelse
Engelsk
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. SINTEF
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Maintaining information flow security under refinement and transformation.
Seehusen, Fredrik; Stølen, Ketil. 2007, Springer. SINTEF
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
1
-
2
av
2