刘楚昌
人员信息
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2010 – 2019
2011 [j7] 梅赫迈特·奥尔根(Mehmet A.Orgun) , 圭多总督府 , 刘楚昌 , 马克·雷诺兹 , 阿布杜勒·萨塔尔 :
智能代理和多代理系统逻辑专题。 J.应用。 日志。 9 ( 4 ) : 221-222 ( 2011 ) [j6] 刘楚昌 , 安吉拉·比拉德 , 本杰明·朗 :
一种抽象的动态访问控制体系结构。 J.应用。 日志。 9 ( 4 ) : 239-249 ( 2011 )
2000 – 2009
2009 [j5] 梅赫迈特·奥尔根(Mehmet A.Orgun) , 圭多总督府 , 刘楚昌 :
用于验证流认证协议的模式表。 自动。 Agent多Agent系统。 19 ( 1 ) : 53-75 ( 2009 ) 2008 【j4】 梅赫迈特·奥尔根(Mehmet A.Orgun) , 刘楚昌 , 阿巴亚·纳亚克 :
使用时态逻辑和时钟进行知识表示、推理和集成。 数学。 计算。 科学。 2 ( 1 ) : 143-163 ( 2008 ) 【c23】 刘楚昌 , 安吉拉·比拉德 , 本杰明·朗 :
动态访问控制体系结构的抽象模型。 网络智能/IAT研讨会 2008 : 638-642 2007 [公元22年] 刘楚昌 , 安吉拉·比拉德 , 玛丽斯·奥佐尔斯 , 尼基福·杰里米奇 :
访问控制模型和安全标签。 ACSC公司 2007 : 181-190 2006 【c21】 刘楚昌 , 梅赫迈特·奥尔根(Mehmet A.Orgun) :
朝向安全标签。 ACSC公司 2006 : 69-76 [公元20年] 梅赫迈特·奥尔根(Mehmet A.Orgun) , 吉马 , 刘楚昌 , Guido Governatori公司 :
分析基于自治代理的系统中的流认证协议。 DASC公司 2006 : 325-332 [第19条] 梅赫迈特·奥尔根(Mehmet A.Orgun) , 刘楚昌 :
关于信任和代理人信念动态的推理。 IRI公司 2006 : 105-110 [第18条] 梅赫迈特·奥尔根(Mehmet A.Orgun) , 刘楚昌 , 阿布哈亚·C·纳亚克 :
使用时序逻辑基于多粒度时间的知识表示和集成。 爱尔兰共和国 2006 : 256-261 2005 [第17条] 刘楚昌 , 帕特里克·麦克林 , 玛丽斯·奥佐尔斯 :
组合逻辑以建模安全策略。 交流电容器 2005 : 323-332 [第16条] 刘楚昌 , 玛丽斯·奥佐尔斯 , 梅赫迈特·奥尔根(Mehmet A.Orgun) :
多智能体系统的光纤信念逻辑。 澳大利亚人工智能会议 2005 : 29-38 2004 [第15条] 刘楚昌 , 玛丽斯·奥佐尔斯 , 梅赫迈特·奥尔根(Mehmet A.Orgun) :
用于指定多代理系统信任动态的时间化信念逻辑。 亚洲的 2004 : 142-156 2002 [第14条] 刘楚昌 , 玛丽斯·奥佐尔斯 :
安全通信系统中的信任——概念、表示和推理技术。 澳大利亚人工智能联合会议 2002 : 60-70 [第13条] 刘楚昌 , 玛丽斯·奥佐尔斯 :
信任理论的一致性。 澳大利亚人工智能联合会议 2002 : 717 2001 [j3] 刘楚昌 , 梅赫迈特·奥尔根(Mehmet A.Orgun) , 张康 :
Chronolog的并行执行模型。 计算。 系统。 科学。 工程师。 16 ( 4 ) : 215-228 ( 2001 ) [第12条] 刘楚昌 , 玛丽斯·奥佐尔斯 , 安东尼·坎特 :
PKI信任推理的公理基础。 ACISP公司 2001 : 274-291 [第11条] 刘楚昌 :
安全数字通信中信任推理的逻辑基础。 澳大利亚人工智能联合会议 2001 : 333-344 2000 [第10条] 玛丽斯·奥佐尔斯 , 玛丽·亨德森 , 刘楚昌 , 安东尼·坎特 :
PKI规范困境:正式解决方案。 ACISP公司 2000 : 206-219 【c9】 刘楚昌 , 玛丽斯·奥佐尔斯 , 玛丽·亨德森 , 安东尼·坎特 :
证书管理系统中的证书验证。 ACSC公司 2000 : 150-157 【c8】 刘楚昌 , 玛丽斯·奥佐尔斯 , 玛丽·亨德森 , 安东尼·坎特 :
基于状态的证书管理系统模型。 公钥密码 2000 : 75-92
1990 – 1999
1999 [注2] 刘楚昌 , 梅赫迈特·奥尔根(Mehmet A.Orgun) :
用时序逻辑和时钟验证反应系统。 西奥。 计算。 科学。 220 ( 2 ) : 377-408 ( 1999 ) 【c7】 刘楚昌 , 安东尼·坎特 , 玛丽斯·奥佐尔斯 , 玛丽·亨德森 :
使证书管理系统正规化。 偶像 1999 : 340-348 1998 【c6】 刘楚昌 , 梅赫迈特·奥尔根(Mehmet A.Orgun) :
一种基于结构知识的分布式系统仿真方法。 FLAIRS公司 1998 : 12-17 【c5】 梅赫迈特·奥尔根(Mehmet A.Orgun) , 刘楚昌 :
查询定时数据库。 FQAS公司 1998 : 308-319 【c4】 刘楚昌 , 梅赫迈特·奥尔根(Mehmet A.Orgun) :
在TLC中嵌入计时系统。 时间 1998 : 105-112 1997 【c3】 刘楚昌 , 梅赫迈特·奥尔根(Mehmet A.Orgun) :
基于时序逻辑的仿真系统知识规范约束机制。 澳大利亚人工智能联合会议 1997 : 485-495 【c2】 刘楚昌 , 梅赫迈特·奥尔根(Mehmet A.Orgun) :
BCTL:一种分支时钟时序逻辑。 时间 1997 : 140-147 1996 [j1] 刘楚昌 , 梅赫迈特·奥尔根(Mehmet A.Orgun) :
时序逻辑编程中时间的多重粒度处理。 J.塞姆。 计算。 22 ( 5/6 ) : 699-720 ( 1996 ) 【c1】 刘楚昌 , 穆罕默德·奥贡 :
使用Chronolog(MC)执行分布式计算规范。 囊 1996 : 393-400
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)