INFT 862 Formal Models for Computer Security

Attention GMU students! Learn about the 2006 Information Assurance Scholarship Program.

Designated as a Center of Academic Excellence in Information Assurance Education by the National Security Agency

News & Events

GMU IA courseware validated by CNSS IACE
New CSIS GRA Endowment
New academic programs:
- MS in Information Security and Assurance
- Ph.D. Concentration in Information Security and Assurance
Sushil Jajodia interviewed by Connection on June 11, 2004.
CSIS in the News
Seminars in the Center
Looking for a job or internship?

Scholarship & Fellowships

New 2004 Graduate Research Endowed Assistantship
Applications due February 28.

Faculty Summer Fellowships Program: Summer 2004 - To provide financial support for a faculty member at a U.S. University to engage in Faculty or Curriculum Development.

Information Assurance Scholarship Program open to U.S. Citizens

Faculty, staff and students are invited to visit the George Mason University Office of Student Financial Aid home page for scholarship listings. The listing grows steadily through the academic year so checking every other week is recommended.

Academic Programs

STAT 789 Advanced Topics in Statistics: Computer Intrusion Detection

Security Class Schedules

Courses offered by CSIS Faculty Members

Certificate in Information Systems Security (ISS)

Master of Science in Computer Engineering now offers a concentration in Network and Systems Security

MS in Information Security and Assurance (NEW!)

Ph.D. Concentration in Information Security and Assurance (NEW!)

About the Center

Introduction & Contacts

Research and Scope of the Center

Faculty Members and Visiting Research Associates

Projects & Publications

Publications by CSIS members

Research Sponsors and Supporters

CSIS Corporate Sponsor Program

Current CSIS Corporate Sponsors:

Become a CSIS Sponsor!

Announcements
Security & Privacy Resources
Security Related Links
CSIS Home Page
ise
ITE
GMU Home Page

Some local links

INFT 862 Formal Models for Computer Security

Prerequisite: INFS 762.
A study of formal mathematical models for computer security. Mathematical properties of these models are identified and analyzed. The models are compared with respect to formal and pragmatic criteria. The models include lattice-based models, noninterference models, models based on propagation of access rights, multilevel data models, integrity models, and miscellaneous models such as the n-tree model for group authorization.

Designated as a Center of Academic Excellence in Information Assurance Education by the National Security Agency

	The Committee on National Security Systems and the National Security Agency have certified that George Mason University offers a set of courseware that has been reviewed by National Level Information Assurance Subject Matter Experts and determined to meet National Training Standards for Information Systems Security Professionals, NSTISSI No. 4011, 4012, and 4013 for academic years 2005 - 2008.

The Information Assurance Scholarship Program is open to U.S. Citizens pursuing undergraduate, masters, and doctoral degrees from the Centers of Academic Excellence in Information Assurance Education