Notes on abstract algebra and logic: Towards their application to cell biology and security

  • P. Dini, Daniel Schreckling
  • Published 2008 in 2008 2nd IEEE International Conference on Digital Ecosystems and Technologies


This paper begins to chart and critically analyse the formal connections between algebra, logic, and cell biology on the one hand, and algebra, logic, and software security on the other. Much of the discussion is necessarily conceptual. Where the discussion is more formal the current distance between these disciplines appears evident. The paper focuses on the algebra of network coding, reviews the main types of algebraic and temporal logics that underpin security, and briefly discusses recent work in the application of algebra and logic to the DNA code.


4 Figures and Tables

Download Full PDF Version (Non-Commercial Use)