Information security governance dominates the senior management’s agenda in overall organizational informance technology (IT) governance. The globalization trends encompassing all businesses, and risks of information leakage forces organizations to institute mechanisms to protect it. In order to achieve adequate level of protection, organizations implement information security management system...

The importance of educating organizational end users about their roles and responsibilities towards information security is widely acknowledged. However, many current user education programs have been created by security professionals who do not necessarily have an educational background. The nature of such programs is thus not always properly understood. This lack of understanding could result...

Default logic is an important and influential formalization of commonsense reasoning. Determining whether a given default theory has an extension is the main computational problem pertinent to default logic, the analog of testing for validity and finding deductions in more classical logics. Substantially generalizing a result by Etherington [5] we show that all default theories that have no odd...

Security and probability are both artefacts that we hope to bring increasingly within the reach of refinement-based Formal Methods; although we have worked on them separately, in the past, the goal has always been to bring them together. In this report we describe our ongoing work in that direction: we relate it to a well known problem in security, Chaum’s Dining Cryptographers, where the vario...

Arable land is the natural resource of food production, plays a key role in safe guarding people’s livelihood, maintaining social stability, and ecological balance. In context great challenge rapid loss arable growth demand due to socio-economic development, scientific forecasting supply, can clarify conservation pressure regional land, provide reference for formulating effective policies, ensu...