Final Report on Seminar 03411: Language-Based Security

Anindya Banerjee; Heiko Mantel; David A. Naumann; Andrei Sabelfeld

Final Report on Seminar 03411: Language-Based Security

Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld

Department of Computer Science

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Journal	Dagstuhl Seminar Proceedings
Volume	3411
State	Published - 2005
Event	Language-Based Security 2003 - Wadern, Germany Duration: 5 Oct 2003 → 10 Oct 2003

Keywords

Access control
compositionality
downgrading
end-to-end security
information flow
memory safety
noninterference
protocol analysis
protocol verification
semantic models
virtual machines

Cite this

@article{33fa9f98c17147c882fc18096bbd8e95,

title = "Final Report on Seminar 03411: Language-Based Security",

keywords = "Access control, compositionality, downgrading, end-to-end security, information flow, memory safety, noninterference, protocol analysis, protocol verification, semantic models, virtual machines",

author = "Anindya Banerjee and Heiko Mantel and Naumann, {David A.} and Andrei Sabelfeld",

year = "2005",

language = "English",

volume = "3411",

note = "Language-Based Security 2003 ; Conference date: 05-10-2003 Through 10-10-2003",

}

TY - JOUR

T1 - Final Report on Seminar 03411

T2 - Language-Based Security 2003

AU - Banerjee, Anindya

AU - Mantel, Heiko

AU - Naumann, David A.

AU - Sabelfeld, Andrei

PY - 2005

Y1 - 2005

KW - Access control

KW - compositionality

KW - downgrading

KW - end-to-end security

KW - information flow

KW - memory safety

KW - noninterference

KW - protocol analysis

KW - protocol verification

KW - semantic models

KW - virtual machines

UR - http://www.scopus.com/inward/record.url?scp=85175144452&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85175144452&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:85175144452

SN - 1862-4405

VL - 3411

JO - Dagstuhl Seminar Proceedings

JF - Dagstuhl Seminar Proceedings

Y2 - 5 October 2003 through 10 October 2003

ER -

Final Report on Seminar 03411: Language-Based Security

Keywords

Other files and links

Cite this