scientific article; zbMATH DE number 1956599

zbMATH Open1031.68659MaRDI QIDQ4417947FDOQ4417947

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

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)