Talk:Security type system

This article is rated Start-class on Wikipedia's content assessment scale.
It is of interest to the following WikiProjects:

Computer security: Computing Low‑importance

This article is within the scope of WikiProject Computer security, a collaborative effort to improve the coverage of computer security on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.Computer securityWikipedia:WikiProject Computer securityTemplate:WikiProject Computer securityComputer security

Low This article has been rated as Low-importance on the project's importance scale.

This article is supported by WikiProject Computing (assessed as Low-importance).

Things you can help WikiProject Computer security with:

How you can help:

Add to your watchlist the project talk page! Post there for help with articles or to suggest articles that need work.
Request editing suggestions on your talk page by entering WikiProject_Computer_security into this template.
Check the article alerts to participate in deletion discussions, review Good Article nominees, and review draft articles.
Edit any articles that interest you. Recommended:
- Most popular articles that need the most work (last refreshed 28 June 2026)
- Popular articles (monthly top articles by views)
- High-importance stub-quality articles
- High-importance start-quality articles
- Mid-importance stub-quality articles
- Mid-importance start-quality articles
- Unknown-importance stub-quality articles
- Unknown-importance start-quality articles
Review changes to popular articles or changes to talk pages.
Replace deprecated archival service links.
Recategorize articles in Category:Security to more specific categories
Fix something on the list of articles that need cleanup, including:
- Clarification needed
- Rewrite needed
- Expansion needed
- Style editing needed
- Update needed
- Orphaned (add links from other articles to these articles)
- Conflict of interest
- Original research
- Promotional tone
- Biographies of living persons (BLP) articles lacking sources
- Cites no sources
- Cites unreliable sources

Of the 3624 articles in this project 1993 or 55% are marked for cleanup, with 4041 issues in total.

Editing resources:

Untitled

This page is a good start, but security type systems are not just about information flow policies. It is possible to have type systems that enforce other security policies such as access control (either via ACLs or capabilities), and there are several examples.

This page was redesigned at the edge.

Untitled