Pages that link to "Item:Q3972531"
From MaRDI portal
The following pages link to An abstract theory of computer viruses (Q3972531):
Displaying 12 items.
- Using algebraic models of programs for detecting metamorphic malwares (Q549466) (← links)
- Methods of detection of program bugs in computer systems (Q1570285) (← links)
- A novel computer architecture to prevent destruction by viruses (Q1613260) (← links)
- Hunting Distributed Malware with the κ-Calculus (Q3088273) (← links)
- Immune Systems in Computer Virology (Q3195689) (← links)
- Protecting terminals by security domain mechanism based on trusted computing (Q3443172) (← links)
- A new definition of virus (Q3443264) (← links)
- On the Time Complexity of Computer Viruses (Q3547893) (← links)
- A Framework for Modelling Trojans and Computer Virus Infection (Q4246269) (← links)
- (Q4679138) (← links)
- The halting problem and security’s language-theoretic approach: Praise and criticism from a technical historian (Q4995608) (← links)
- Theoretical computer science: computability, decidability and logic (Q6602262) (← links)