Publications

A Type System for Access Control Views in Object-Oriented Languages

AuthID
P-003-A74

Author(s)

Pires, M

Caires, L

Editor(s)

Armando, A; Lowe, G

Document Type

Proceedings Paper

Year published

2010

Published

in AUTOMATED REASONING FOR SECURITY PROTOCOL ANALYSIS AND ISSUES IN THE THEORY OF SECURITY in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 6186, Pages: 59-76 (18)

Conference

Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, Date: MAR 27-28, 2010, Location: Paphos, CYPRUS

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/108772

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-642-16074-5_5

Dblp: conf/ifip1-7/PiresC10

Scopus: 2-s2.0-78449269205

Wos: WOS:000286287100005

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

A Type System for Access Control Views in Object-Oriented Languages

Useful Links

Get Help

Federated Authentication (Click on the image)

A Type System for Access Control Views in Object-Oriented Languages

Useful Links

Get Help