Publicações

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

AuthID
P-003-A74

Author(s)

Pires, M

Caires, L

Editor(es)

Armando, A; Lowe, G

Tipo de Documento

Proceedings Paper

Year published

2010

Publicado

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, Páginas: 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^®/pt/publications/view/108772

Crossref^®

Google Scholar^®

Metadata
Fontes

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

Lista Marked

Adicionar à lista Marked

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

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

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

Links Úteis

Ajuda