A Logical Approach to Security in the Context of Ambient Calculus

Authors:
Radu Mardare;Corrado Priami
Affiliations:
-;-
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2004

Citing 4
Cited 3

Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Vicious circles: on the mathematics of non-wellfounded phenomena

Vicious circles: on the mathematics of non-wellfounded phenomena
Anytime, anywhere: modal logics for mobile ambients

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Mobile ambients

Theoretical Computer Science

Logical Analysis of Biological Systems

Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Decidability of modular logics for concurrency

PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Logical Analysis of Biological Systems

Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus

Quantified Score

Hi-index	0.00

Visualization

Abstract