Auditing system logs is an important means of ensuring systems’ security in situations where run-time security mechanisms are not sufficient to completely prevent potentially malicious activities. A fundamental requirement for reliable auditing is the integrity of the log entries. This paper presents an infrastructure for secure logging that is capable of detecting the tampering of logs by powe...

Introduction Mevalonate kinase deficiency-associated periodic fever syndrome (MKD) is a systemic autoinflammatory disease caused by mutations in the mevalonate kinase gene (MVK), previously named “hyper-IgD syndrome” due to its characteristic increase in serum IgD level. The patients suffer recurrent fever attacks every 2-8 weeks beginning from infancy, often precipitated by immunizations, infe...

In this paper I is an element of Z8, S is a non empty 1-sorted structure, t is an element of the carrier of S, and x is a set. Let R be a good ring. The functor SCM(R) yields a strict AMI over {the carrier of R} and is defined by the conditions (Def. 1). (Def. 1)(i) The objects of SCM(R) = N, (ii) the instruction counter of SCM(R) = 0, (iii) the instruction locations of SCM(R) = Instr-LocSCM, (...

We study D = 4, N = 1, type IIA orientifold with orbifold group ZN and ZN × ZM . We calculate one-loop vacuum amplitudes for Klein bottle, cylinder and Möbius strip and extract the tadpole divergences. We find that the tadpole cancellation conditions thus obtained are satisfied by the Z4, Z8, Z ′ 8, Z ′ 12 orientifolds while there is no solution for Z3, Z7, Z6, Z ′ 6, Z12. The Z4 × Z4 type IIA ...