scientific article; zbMATH DE number 1848374

zbMath1002.68649MaRDI QIDQ4785541

Marieke Huisman, Guillaume Dufay, Gilles Barthe, Simão Melo de Sousa

Publication date: 5 January 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2140/21400002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Related Items

Certified Static Analysis by Abstract Interpretation, A metamodel of access control for distributed environments: applications and properties, Jakarta, Extracting a data flow analyser in constructive logic

Uses Software

• LETOS