Ana Gualdina Almeida Matos


AuthID: R-000-HT3

Confirmed Publications: 15



11
TITLE: On declassification and the non-disclosure policy  Full Text
AUTHORS: Ana Almeida Matos ; Gérard Boudol;
PUBLISHED: 2009, SOURCE: Journal of Computer Security, VOLUME: 17, ISSUE: 5
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
12
TITLE: Typing noninterference for reactive programs  Full Text
AUTHORS: Ana Almeida Matos ; Gerard Boudol; Ilaria Castellani;
PUBLISHED: 2007, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 72, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
13
TITLE: Non-disclosure for Distributed Mobile Code
AUTHORS: Ana Almeida Matos ;
PUBLISHED: 2005, SOURCE: 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2005 in FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings, VOLUME: 3821
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
14
TITLE: On declassification and the non-disclosure policy
AUTHORS: Matos, AA ; Boudol, G;
PUBLISHED: 2005, SOURCE: 18th IEEE Computer Security Foundations Workshop in 18th IEEE Computer Security Foundations Workshop, Proceedings
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
15
TITLE: Lexically scoped distribution: What you see is what you get
AUTHORS: Ravara, A ; Matos, AG ; Vasconcelos, VT ; Lopes, L ;
PUBLISHED: 2003, SOURCE: FGC, Foundations of Global Computing , 2nd EATCS Workshop (Satellite Event of ICALP 2003) in Electronic Notes in Theoretical Computer Science, VOLUME: 85, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
Page 2 of 2. Total results: 15.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service