A security ceremony expands a security protocol with everything that is considered out of band for it. Notably, it incorporates the user, who, according to their belief systems and cultural values, may be variously targeted by social engineering attacks. This makes ceremonies complex and varied, hence the need for their formal analysis aimed at their rigorous understanding. Formal analysis in t...

three hundred and seventy seven patients with different degrees of heat stroke were treated by the haji medical team of the islamic republic of iran in 1371 (1992). studies were carried out on sex of the patients, time and intensity of occurance and the vital signs after a medical examination. the most important method of treatment employed for intense heat stroke was iced bath. this procedure ...

Abstract When we use secure computer systems, engage with carefully orchestrated and ordered interactions called “security ceremonies”, all of which exist to assure security. A great deal attention has been paid improving the usability these ceremonies over last two decades, make them easier for end-users with. Yet, improvements do not seem have endeared end users ceremonies. As a consequence, ...

The idea of ‘developing’ Sind has been a lynchpin of government action and rhetoric in the province during the twentieth century. The central symbols of this ‘development’ were three barrage dams, completed between 1932 and 1962. Because of the barrages’ huge economic and ideological significance, the ceremonies connected with the construction and opening of these barrages provide a unique oppo...

We are interested in formal modelling and verification of security ceremonies. Considerable efforts have been put into verifying security protocols, with quite successful tools currently being widely used. The relatively recent concept of security ceremonies, introduced by Carl Ellison, increases the complexity of protocol analysis in several directions: a ceremony should include all relevant o...

The Olympic flame and torch are significant symbols of the Olympic Games and are important in linking the general public with the festival. They are internationally recognized symbols, particularly important at the Opening and Closing Ceremonies. “It is through the opening and closing ceremonies and the torch relay that the Olympiad must distinguish itself from another series of world champions...

The various ceremonies (Sacraments) performed by practitioners of Hindu faith are explained in this article.