python代码编程实现基于属性的访问控制模型ABAC，创建主体S，客体O，环境E，操作O，创建访问控制策略，启用可信引用监测器，进行决策，决策结果为允许或拒绝，关于abac的元策略，出现拒绝时拒绝优先，缺乏匹配的策略时默认决策为拒绝

以下是一个简单的基于属性的访问控制模型ABAC的实现，它使用Python编写：

from enum import Enum


class Subject:
    def __init__(self, attributes):
        self.attributes = attributes


class Object:
    def __init__(self, attributes):
        self.attributes = attributes


class Environment:
    def __init__(self, attributes):
        self.attributes = attributes


class Operation(Enum):
    READ = 1
    WRITE = 2


class Policy:
    def __init__(self, subject_attr, object_attr, environment_attr, operation, decision):
        self.subject_attr = subject_attr
        self.object_attr = object_attr
        self.environment_attr = environment_attr
        self.operation = operation
        self.decision = decision


class ABAC:
    def __init__(self):
        self.policies = []

    def add_policy(self, policy):
        self.policies.append(policy)

    def check_access(self, subject, obj, environment, operation):
        for policy in self.policies:
            if (all(getattr(subject, attr) == value for attr, value in policy.subject_attr.items())
                    and all(getattr(obj, attr) == value for attr, value in policy.object_attr.items())
                    and all(getattr(environment, attr) == value for attr, value in policy.environment_attr.items())
                    and policy.operation == operation):
                return policy.decision

        return False


class TrustedReferenceMonitor:
    def __init__(self, abac):
        self.abac = abac

    def check_access(self, subject, obj, environment, operation):
        decision = self.abac.check_access(subject, obj, environment, operation)

        if decision is False:
            return False

        for attribute in obj.attributes:
            if attribute in subject.attributes and obj.attributes[attribute] != subject.attributes[attribute]:
                return False

        return True

在这个实现中，我们定义了四个类Subject，Object，Environment和Policy，它们分别表示主体、客体、环境和策略。我们还定义了一个ABAC类，它持有所有策略并提供了一个check_access方法来检查是否允许访问。我们还定义了一个TrustedReferenceMonitor类，它使用ABAC实例来检查访问并进行可信引用监测。

在这个实现中，我们使用了Python的Enum模块来定义操作类型。我们还使用了Python的字典来存储主体、客体和环境的属性，策略则使用了Python的类来表示。

在ABAC的check_access方法中，我们遍历所有策略并检查它们是否与给定的主体、客体、环境和操作匹配。如果匹配，则返回策略的决策。如果没有匹配的策略，则返回False。

在TrustedReferenceMonitor的check_access方法中，我们首先使用ABAC实例来检查访问。如果访问被拒绝，则返回False。否则，我们检查主体和客体的属性是否匹配。如果它们不匹配，则返回False。否则，返回True。

以上就是一个简单的基于属性的访问控制模型ABAC的Python实现。