Title :
Notes on abstract algebra and logic: Towards their application to cell biology and security
Author :
Dini, Paolo ; Schreckling, Daniel
Author_Institution :
Dept. of Media & Commun., London Sch. of Econ. & Political Sci., London
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.
Keywords :
biology computing; process algebra; security of data; temporal logic; abstract algebra; cell biology; network coding; software security; temporal logic; Abstract algebra; Biological cells; Biological system modeling; Biology computing; Cells (biology); Evolution (biology); Gene expression; Logic functions; Network coding; Security; abstract algebra; algebraic logic; cell biology; network coding; software security;
Conference_Titel :
Digital Ecosystems and Technologies, 2008. DEST 2008. 2nd IEEE International Conference on
Conference_Location :
Phitsanulok
Print_ISBN :
978-1-4244-1489-5
Electronic_ISBN :
978-1-4244-1490-1
DOI :
10.1109/DEST.2008.4635187
