Mô hình bảo mật là một mô hình máy tính có thể dùng để xác định và thực thi các chính sách bảo mật. Nó không yêu cầu hình thành trước, có thể được xây dựng dựa trên mô hình quyền truy cập hoặc mô hình tính toán phân tích hoặc mô hình tính toán.
Mô hình bảo mật là một khung trong đó chính sách bảo mật được phát triển. Việc phát triển chính sách bảo mật này nhắm đến một bối cảnh hoặc trường hợp cụ thể của chính sách. Chính sách bảo mật dựa trên xác thực, nhưng được xây dựng trong giới hạn của một mô hình bảo mật. Ví dụ, thiết kế mô hình bảo mật dựa trên xác thực và ủy quyền, người ta xem xét mô hình 4 yếu tố của bảo mật: xác thực, ủy quyền, tính sẵn sàng và tính xác thực.
Chính sách bảo mật xác định cách dữ liệu được truy cập, mức độ bảo mật cần thiết, và quy trình nên thực hiện khi các yêu cầu này không được đáp ứng. Khung chính sách định hình kỳ vọng của một hệ thống máy tính hoặc thiết bị.
Mô hình bảo mật là một tuyên bố định hình các yêu cầu cần thiết để cung cấp và triển khai đúng một chính sách bảo mật cụ thể. Nếu chính sách bảo mật quy định một số user phải được xác định, đáng tin cậy, và được công nhận trước khi truy cập tài nguyên mạng, mô hình bảo mật có thể trình bày ma trận kiểm soát truy cập cần được xây dựng để đáp ứng yêu cầu của chính sách bảo mật.
Nếu chính sách bảo mật tuyên bố rằng không ai từ cấp bảo mật thấp hơn có thể xem hoặc thay đổi dữ liệu ở cấp bảo mật cao hơn, mô hình bảo mật hỗ trợ sẽ định nghĩa logic và quy tắc cần thiết phải triển khai để đảm bảo dưới bất kỳ trường hợp nào một chủ thể (subject) cấp thấp không thể truy cập đối tượng (object) cấp cao hơn theo cách trái phép. Mô hình bảo mật cung cấp mô tả cấp cao hơn về cách hệ điều hành máy tính nên được xây dựng để đúng cách hỗ trợ một chính sách bảo mật cụ thể.
Các mô hình an ninh thông tin (Information Security Models) lấp đầy khoảng trống giữa các tuyên bố chính sách bảo mật (định nghĩa user nào nên có quyền truy cập dữ liệu) và triển khai hệ điều hành (cho phép quản trị tổ chức kiểm soát truy cập). Các mô hình ánh xạ mục tiêu lý thuyết sang các liên kết toán học củng cố bất kỳ triển khai nào cuối cùng được chọn.
Biểu diễn phù hợp nhất của một mô hình dường như là một mô hình "trừu tượng" (abstract) hoặc "lý thuyết" (theoretical), được biểu diễn như một cấu trúc giả định tượng trưng cho quy trình vật lý, sinh học hoặc xã hội, với một tập biến số và một tập quan hệ logic và định lượng giữa chúng.
Với mục đích phân loại này, một mô hình là một cấu trúc cấp cao hiển thị quy trình, biến số và mối quan hệ. Mô hình mang tính lý thuyết và trừu tượng và thường không đi vào chi tiết chính xác về cách triển khai.