Checking Integrity via CoPS and Banana: the E-Commerce Case Study | Zendy

Chiara Braghin | Zendy; Carla Piazza | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Checking Integrity via CoPS and Banana: the E-Commerce Case Study

Author(s) -

Chiara Braghin,

Carla Piazza

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.02.013

Subject(s) - bisimulation , process calculus , computer science , simple (philosophy) , process (computing) , security analysis , theoretical computer science , computation , algorithm , calculus (dental) , distributed computing , programming language , computer security , medicine , philosophy , dentistry , epistemology

We consider two different approaches to security issues. In the first one bisimulation equivalences (dynamic verifications) are exploited to verify non-interference security properties on a CCS-like process algebra calculus. In the second approach control flow analysis (static analysis) is applied to verify security properties in Mobile Ambient calculus. We analyze how a simple electronic commerce case study can be modeled and its integrity verified using the two techniques. The tools CoPS and Banana are used to perform the computations.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research