• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Formal Model for the Availability Analysis of Cloud Deployed Multi-tiered Applications.

Manar JammalAli KansoParisa HeidariAbdallah Shami
Published in: IC2E Workshops (2016)
Keyphrases
  • formal model
  • multi tiered
  • cloud computing
  • security properties
  • mobile phone
  • multi tier