A Semantic Paradigm for Component-Based Specification Integrating a Notion of Security Risk

A Semantic Paradigm for Component-Based Specification Integrating a Notion of Security Risk

Kategori

Vitenskapelig artikkel

Språk

Engelsk

Forfatter(e)

Gyrd Brændeland
Ketil Stølen

Institusjon(er)

Universitetet i Oslo
SINTEF AS

År

2007

Publisert i

Lecture Notes in Computer Science (LNCS)

ISSN

0302-9743

Forlag

Springer

Årgang

4691

Side(r)

31 - 46

Eksterne ressurser

http://www.springerlink.com/content/qx13lm6757640460/

DOI

https://doi.org/10.1007/978-3-540-75227-1_3