A truly secure protocol is one which never violates its security requirements, no matter how bizarre the circumstances, provided those circumstances are within its terms of reference. Such cast-iron guarantees, as far as they are possible, require formal techniques: proof or model-checking. Informally, they are difficult or impossible to achieve. Our technique is refinement, until recently not ...

Albert Camus, the French Algerian, lived a short but action filled life; from losing his father when he was just one year old to poverty experienced in grandmother’s house where grew up after father’s passage. From suffering tuberculosis at time its cure still uncertain brilliance school, love for football, country-side and philosophy, becoming renowned philosopher, rising beyond mentors Messie...

Three experiments explored the impact of mourning rituals after losses – of loved ones, lovers, and lotteries – on mitigating grief. Participants who were directed to reflect on past rituals or who were assigned to complete novel rituals after experiencing losses reported lower levels of grief. Increased feelings of control after rituals mediated the link between use of rituals and reduced grie...

Three experiments explored the impact of mourning rituals--after losses of loved ones, lovers, and lotteries--on mitigating grief. Participants who were directed to reflect on past rituals or who were assigned to complete novel rituals after experiencing losses reported lower levels of grief. Increased feelings of control after rituals mediated the link between use of rituals and reduced grief ...