-
题名开放分布系统中基于RBAC和策略实施的协调模型
- 1
-
-
作者
张亚英
尤晋元
-
机构
上海交通大学分布计算技术中心
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2002年第12A期2000-2003,共4页
-
基金
国家自然科学基金(No.69973032)
-
文摘
本文提出了适用于开放分布系统的基于RBAC和策略实施的协调模型(RBPEC).RBPEC模型引入了协调组的概念,把需要进行交互才能完成整体任务的多个软件实体放在一个协调组中.RBPEC协调模型把协调和访问控制两者结合起来,引入基于角色的访问控制为协调系统作安全性检查,系统的协调策略可以在分布环境下实施.RBPEC协调模型具有安全和可扩展两大特点.
-
关键词
RBAC
协调模型
访问控制
策略
开放分布系统
软件
-
Keywords
coordination
RBAC
policy
open distributed system
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名分布环境中带有访问控制的协调模型
- 2
-
-
作者
张亚英
尤晋元
-
机构
上海交通大学分布计算技术中心
-
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第8期31-33,共3页
-
文摘
目前开放分布系统中的协调技术主要考虑如何促使计算实体之间的交互能够顺利通畅地进行，而实际上出于安全的考虑必须要有一定的访问控制措施来限制这些软件实体之间某些交互。该文提出一种新的协调模型，把协调和访问控制两者结合起来，该模型具有安全和可扩展等优点。
-
关键词
协调
访问控制
策略
分布环境
-
Keywords
Cordination
Access control
Policy
Distributed environment
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名远程机器人控制系统的实时性能评估
被引量：5
- 3
-
-
作者
薛广涛
施华
尤晋元
-
机构
上海交通大学上海分布计算技术中心
上海大学计算机工程与科学学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第16期99-101,共3页
-
文摘
对基于RT-Linux实时操作系统的远程机器人控制系统的实时性能问题进行了深入研究。针对实时应用和系统的复杂性特点,通过对实际测试数据采样,对实时操作系统的实时机制和实际性能进行了分析和评价,为实时控制系统提供了重要的评定依据。同时对在实际环境中通过实时操作系统控制机器人进行远程作业提供了研究基础,解决了远程控制实时性难以保证的问题。
-
关键词
实时
RT-LINUX
测试
中断
-
Keywords
Real-time
RT-Linux
Measure
Interrupt
-
分类号
TP302.7
[自动化与计算机技术—计算机系统结构]
-
-
题名机器人控制系统实时性的研究
被引量：6
- 4
-
-
作者
施华
薛广涛
-
机构
上海大学计算机工程与科学学院
上海交通大学上海分布计算技术中心
-
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第1期91-92,125,共3页
-
基金
上海市优秀青年教师基金资助项目
-
文摘
着重研究了机器人控制系统的实时性提高和改进方法，提出了一种建立在RT-Linux基础上的实时机器人控制系统。文章阐述了将机器人控制器任务进行实时域和非实时域划分的思想，并给出了一个在RT-Linux操作系统下远程机器人实时控制系统实现的例子。最后还比较了在RT-Linux与标准Linux下的性能测试结果。
-
关键词
机器人
控制系统
实时性
实时系统
RT-LINUX
响应时间
工业机器人
控制器
-
Keywords
Real-time system
RT-Linux
Robot controller
Response time
-
分类号
TP242.2
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名联机事务处理中间件的设计与实现
- 5
-
-
作者
翁华明
尤晋元
唐新怀
-
机构
上海交通大学上海分布计算技术中心
-
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第15期80-81,117,共3页
-
基金
国家自然科学基金资助项目(69973032)
-
文摘
中间件主要为解决分布计算环境中异构系统所引起的种种问题而设计。该文介绍了联机事务处理中间件的实现，特别讨论了所用到的消息队列通信、数据依赖路由及负载平衡的实现及应用。
-
关键词
联机事务处理
消息队列
数据依赖路由
负载均衡
-
Keywords
OLTP
Message queues
Data-dependent routing
Load-balance
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名认证协议相关性分析
- 6
-
-
作者
张亚英
梁坚
尤晋元
-
机构
上海交通大学分布计算技术中心
-
出处
《通信学报》
EI
CSCD
北大核心
2002年第1期103-110,共8页
-
基金
国家自然科学基金资助项目(699703032)
-
文摘
本文提出认证协议的相关性问题,并引入关联因子的概念,从消息相关和协议相关两个层次上对相关性进行描述,同时将协议的运行看作是攻击者和协议环境交互的模型。我们用CSP的模型检查工具FDR2对该模型进行形式化描述,以著名的Needham-Schroeder 公钥协议为例分析其相关性,得出了理想的结果。
-
关键词
认证协议
关联因子
通信协议
-
Keywords
authentication protocol
correlation property
correlation factor
attacker model
model checking
-
分类号
TN915.04
[电子电信—通信与信息系统]
-
-
题名移动代理应用中上下文相关的客观协调
- 7
-
-
作者
张亚英
尤晋元
-
机构
上海交通大学分布计算技术中心
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第28期57-59,112,共4页
-
基金
国家自然科学基金资助(编号:69973032)
-
文摘
移动代理之间需要进行交互合作才能完成系统任务,每个移动代理也需要与它运行所在的移动代理环境进行交互。文章提出了一种在移动代理应用系统中的上下文相关的客观协调模型,适合移动代理系统中移动代理之间的交互和移动代理与移动代理环境之间的交互,它把全局的耦合交互转变成本地独立的元组空间交互,用可编程的元组空间解决由代理移动引起的上下文相关协调问题,而且环境相关的协调策略和应用相关的协调策略可以集成到可编程的元组空间中。
-
关键词
主客观协调
移动代理
上下文相关
-
Keywords
Subjective and objective coordination,Mobile agent ,Context-dependent
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
