Published in

2008 2nd IEEE International Conference on Digital Ecosystems and Technologies

DOI: 10.1109/dest.2008.4635187

Links

Tools

Export citation

Search in Google Scholar

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

Proceedings article published in 2008 by Paolo Dini, Daniel Schreckling
This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Green circle
Preprint: archiving allowed
Green circle
Postprint: archiving allowed
Red circle
Published version: archiving forbidden
Data provided by SHERPA/RoMEO

Abstract

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.