Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1016/j.entcs.2004.02.013 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
security process algebra,non-interference,integrity.,checking integrity,mobile ambients,nesting analysis,e-commerce case study,control flow analysis,static analysis,process algebra,e commerce,electronic commerce | Computer science,Static analysis,Theoretical computer science,Security properties,Bisimulation,Control flow analysis,Process calculus,Ambient calculus,E-commerce,Computation | Journal |
Volume | ISSN | Citations |
99, | Electronic Notes in Theoretical Computer Science | 0 |
PageRank | References | Authors |
0.34 | 16 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Chiara Braghin | 1 | 105 | 8.86 |
Carla Piazza | 2 | 111 | 17.16 |