Computer Science – Cryptography and Security
Scientific paper
2010-10-27
EPTCS 38, 2010, pp. 45-49
Computer Science
Cryptography and Security
In Proceedings ICE 2010, arXiv:1010.5308
Scientific paper
10.4204/EPTCS.38.6
We outline the design of a framework for modelling cloud computing systems.The approach is based on a declarative programming model which takes the form of a lambda-calculus enriched with suitable mechanisms to express and enforce application-level security policies governing usages of resources available in the clouds. We will focus on the server side of cloud systems, by adopting a pro-active approach, where explicit security policies regulate server's behaviour.
Bodei Chiara
Dinh Viet Dung
Ferrari Gian Luigi
No associations
LandOfFree
Safer in the Clouds (Extended Abstract) does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Safer in the Clouds (Extended Abstract), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Safer in the Clouds (Extended Abstract) will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-484640