This lecture notebook is about security on computer systems and it contains a series of lecture notes from my research and teaching service.It is a four chapter book namely: (1)Preliminary Research; (2)Logic Security; (3)Syntax Representation; (4)Security Modeling. It contains about 12 illustrations and about 103 pages.