In the design process of distributed systems we may have to replace abstract specifications of components by more concrete specifications, thus providing more detailed design information. In the context of process algebra, this well-known approach is often referred to as action refinement. We study the relationships between action refinement and security properties within the Security Process A...

The use of Cloud Computing has increasedrapidly in many organization .Cloud Computing provides many benefits in terms of low cost and accessibility of data. In addition Cloud Computing was predicted to transform the computing world from using local applications and storage into centralized services provided by organization.[10] Ensuring the security of Cloud Computing is major factor in the Clo...

SUMMARY After a short reference to Iran-Iraq war as a motivating factor for the present study, the issues of battle stress and psychological wounds of war ar discuused. Reactions of the world armies 10 psychological breakdown of soldiers, military psychotherapy, therapy in combat zone and its developmental process through Civil war, Crimean war, first and Second world wars, Korean and Vietnam ...

security policy-making in critical regions is one of the main concerns of the research centers and academic institutes. security-building in the regions like the caucasus is important because the historical roots of conflict could be seen in the policies of various countries. whenever some manifestations of authoritarianism can be seen, some countries are in the state of cooperative action. how...