scientific article; zbMATH DE number 1956599

MaRDI QIDQ4417947zbMATH OpenFDO

Authors Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Carla Piazza, Flaminia L. Luccio

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2619/26190437.htm

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Artificial intelligence (68T99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Security boundaries in mobile ambients
• Information leakage detection in boundary ambients
• Information flow security in boundary ambients
• scientific article; zbMATH DE number 1860626
• On abstract interpretation of mobile ambients

Cited in

(3)

• Information flow security in boundary ambients
• Nesting analysis of mobile ambients
• BANANA

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417947)