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

fYear

2008

fDate

26-29 Feb. 2008

Firstpage

83

Lastpage

90

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/DEST.2008.4635187

Filename

4635187