15、设计安全集成架构与COTS系统协调开发

设计安全集成架构与COTS系统协调开发

1. 安全集成架构的信息流动与问题分析

在软件系统中,通过安全验证点的组件间通信交互能够揭示潜在安全违规的重要信息。我们通过检查信息流动以及识别信息的传播来确定问题,并制定解决方案的要求。识别信息是用户或组件进入系统所需通过的条件。

在安全验证点,如果组件不提供认证或者组件交互绕过验证点,就会出现潜在问题。以PWI示例来说,当Observer查询Provisioning时,查询会被ORB的认证服务拦截,并检查是否有适当的识别信息,这通过Orb接口函数Orb auth user()体现。然而,在日志文件安全验证点存在问题,Observer可以直接调用日志文件,绕过ORB中Provisioning的认证机制,这表明需要额外的认证来保护日志文件免受未授权访问。

此外,Observer没有认证机制,无法检测来自未授权实体的事务或存储用户识别信息。由于Observer验证点的问题,TIBCO验证点也出现了额外问题。当Observer将查询结果转发到消息总线时,既没有进行认证,也没有附加Observer的识别信息。因此,尽管TIBCO有来自Provisioning的识别信息,但没有Observer的条目。这样,通信虽然会被认证,但恶意入侵者可能在Provisioning和TIBCO之间的任何时间破坏通信而不被检测到。TIBCO也可能被实现为期望来自Observer的识别信息,这样就会导致应用程序死锁。最后,工作流验证点和Provisioning的验证点一样,没有认证违规问题,因为通信到达工作流接口时,TIBCO的认证功能会提供正确的识别信息进行认证。

验证点
【直流微电网】径向直流微电网的状态空间建模线性化:一种耦合DC-DC变换器状态空间平均模型的方法 (Matlab代码实现)内容概要:本文介绍了径向直流微电网的状态空间建模线性化方法,重点提出了一种基于耦合DC-DC变换器状态空间平均模型的建模策略。该方法通过对系统中多个相互耦合的DC-DC变换器进行统一建模,构建出整个微电网的集中状态空间模型,并在此基础上实施线性化处理,便于后续的小信号分析稳定性研究。文中详细阐述了建模过程中的关键步骤,包括电路拓扑分析、状态变量选取、平均化处理以及雅可比矩阵的推导,最终通过Matlab代码实现模型仿真验证,展示了该方法在动态响应分析和控制器设计中的有效性。; 适合人群:具备电力电子、自动控制理论基础,熟悉Matlab/Simulink仿真工具,从事微电网、新能源系统建模控制研究的研究生、科研人员及工程技术人员。; 使用场景及目标:①掌握直流微电网中多变换器系统的统一建模方法;②理解状态空间平均法在非线性电力电子系统中的应用;③实现系统线性化并用于稳定性分析控制器设计;④通过Matlab代码复现和扩展模型,服务于科研仿真教学实践。; 阅读建议:建议读者结合Matlab代码逐步理解建模流程,重点关注状态变量的选择平均化处理的数学推导,同时可尝试修改系统参数或拓扑结构以加深对模型通用性和适应性的理解。
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符  | 博主筛选后可见
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值