|
|
|
[1] This chapter was written by Elisabeth C. Sullivan. Ms. Sullivan has granted permission for this material to be used in Computer Security: Art and Science, and any use of this material outside the scope of this text must have the permission of Ms. Sullivan.
This chapter provides background on various types of logic. One can use symbols to represent data and functions to create formulas using the rules of logic. Then the rules of a logic system allow the analyst to reason about formulas made out of the symbols.
|
|
|
| Top |