Configuration navigation and change-auditing is one of the most complex yet common tasks performed by network operators on a regular basis. Change-auditing router configuration files accurately is a challenging task due to presence of structure and hierarchy in the config content. Generic diff tools do not have the notion of context or syntactic structure while comparing files and produce diff ...

~I complex socio-technical system, is dependent upon the interaction of technical, human, social, organisational, managerial and environmental factors and that these factors can be important co-contributors that could potentially lead to a catastrophic event. The purpose of this article is to give readers an overview of how human factors contribute to accidents in the offshore oil industry. An ...

İşletmelerin küresel ekonomik rekabet ortamında faaliyetlerini gerçekleştirmesi, işletmelerin bilgi teknolojilerine dayalı mal ve hizmet üretim süreçleri oluşturmalarını zorunlu hale getirmektedir. Artan teknoloji kullanımı karşısında gerçekleştirilen faaliyetlere ait alt işlem süreçlerinin kontrol altına alınması yönetilmesi iç sistemlerine kritik bir rol yüklemektedir. Daha fazla sürecin veri...

Presidential primaries are a critical part of the United States electoral process, since they used to select candidates in election. While methods differ by state and party, many involve proportional delegate allocation using so-called Hamilton method. In this paper we show how conduct risk-limiting audits for elections variants method where viability is determined either plurality vote or inst...

In the past decades, Corporate Social Responsibility (CSR) has attracted increasing attention, with Corporate Environmental Responsibility (CER or Environmental CSR) playing an ever important role. This paper aims to study whether and how Chinese shareholders are sensitive to the disclosure of environmental violations. Specifically, the issue is measured by the performance of the Chinese stock ...

We consider a decentralized setting in which agents exchange data along with usage policies. Agents may violate the intended usage policies, although later on auditing authorities may verify the agents’ data accountability with respect to the intended policies. Using timestamping and signature schemes, we design and analyze an efficient cryptographic protocol generating communication evidences ...