We show that for primes N , p ≥ 5 N, \geq 5 </...

We give a general construction of correlation functions in rational conformal field theory on a possibly non-orientable surface with boundary in terms of 3-dimensional topological quantum field theory. The construction applies to any modular category. It is proved that these correlation functions obey modular invariance and factorization rules. Structure constants are calculated and expressed i...

This paper describes a tool which composes a policy for a fine-grained mandatory access control system (DTE) from a set of mostly independent policy modules. For a large system with many services, a DTE policy becomes unwieldy. However, many system services and security extensions can be considered to be largely standalone. By providing for explicit grouping, namespaces, and globbing by namespa...

We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavioural properties of systems. We show that the syntax, semantics and proof systems associated to such logics can all be derived in a modular way. Moreover, we show that the logics thus obtained inherit soundness, comple...