核查web服务配置的安全性

摘要

描述了用于核查分布式系统的安全目标的系统和方法。在一个方面，详细安全政策被转换成模型。详细安全政策是在一个或多个端点之间的消息交换期间实施的。一个或多个端点主宿分布式操作环境中联网的相应主体。评估该模型，以确定详细安全政策是否实施了一个或多个端点的至少一个的一个或多个安全目标。

主权项

1.一种计算机实现的方法，其特征在于，包括：将详细安全政策转换成一模型，所述详细安全政策是在一个或多个端点之间的消息交换期间实施的，所述一个或多个端点主宿在一分布式计算环境中联网的相应主体；以及评估所述模型，以确定所述详细安全政策是否实施了所述一个或多个端点的至少一个的一个或多个安全目标。