Confidentiality analysis of mobile systems

DOI10.1007/978-3-540-45099-3_8MaRDI QIDQ2722053zbMATH OpenFDO

Authors Jerome Feret

Publication date 11 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-45099-3_8

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Artificial intelligence (68T99)

Recommendations

• Abstract interpretation of mobile systems
• scientific article; zbMATH DE number 2087554
• On abstract interpretation of mobile ambients
• Abstract interpretation-based static analysis of Mobile Ambients
• Abstract interpretation of mobile ambients

Cited in

(10)

• A static analysis for brane calculi providing global occurrence counting information
• A static analysis of cryptographic processes: the denotational approach
• Occurrence counting analysis for the pi-calculus
• Analysis of IS-95 CDMA voice privacy
• scientific article; zbMATH DE number 2087554 (Why is no real title available?)
• Abstract interpretation-based static analysis of Mobile Ambients
• Datacentric semantics for verification of privacy policy compliance by mobile applications
• A Global Occurrence Counting Analysis for Brane Calculi
• Abstractions preserving parameter confidentiality
• Semantics of dynamic hiding in mobile UTP-CSP

This page was built for publication: Confidentiality analysis of mobile systems

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