2008年政策:美国纽约州帕利塞德斯
第九届IEEE分布式系统和网络政策国际研讨会(POLICY 2008),2008年6月2-4日,美国纽约州帕里塞德斯。 IEEE计算机学会 2008 ,国际标准图书编号 978-0-7695-3133-5
政策检查
盖尔·琼安 , 徐文娟 , 张新文 :
SELinux中高保障服务的系统策略分析。 3-10 皮耶罗·A·博纳蒂 , 法比奥·莫加维罗 :
比较基于规则的策略。 11-18 塔赫里德·沙马 , 埃哈布·阿尔沙尔 , 李红 :
QoS策略建模和冲突分析。 19-26
策略验证
豪尔赫·洛博 , 瓦西里厄斯·帕帕斯 :
C类 2 :网络配置检查语言的案例。 29-36 拉米德·丹塔斯 , Joseane Farias Fidalgo公司 , 贾梅尔·萨多克 , 卡洛斯·阿尔贝托·卡米恩斯基 , 伯杰·奥赫曼 :
环境网络管理政策:从理论到实践。 37-45 伊曼纽尔·扎尔帕斯 , 辛迪·艾斯纳 , 西万·塔尔 :
系统自动化的策略验证:案例研究。 46-53 拉拉娜·卡加尔 , 克里斯·汉森 , 丹尼尔·韦茨纳 :
使用依赖项跟踪为策略管理提供解释。 54-61
短文I: 策略规范和可视化
约翰·基尼 , 欧文·康兰 , 德克兰·奥沙利文 , 大卫·刘易斯 , 文森特·韦德 :
实现协作政策分解的可视化。 65-69 弗雷德里克·西胡森 , 凯蒂尔·斯特伦 :
促进高层政策监测的转型方法。 70-73 杭照 , 豪尔赫·洛博 , 史蒂文·贝洛文 :
思考2政策的整合与分析代数。 74-77 Cataldo巴西莱 , 阿尔贝托·卡帕多尼亚 , 安东尼奥·利奥 :
政策规范的几何解释。 78-81 史蒂文·戴维 , 布伦丹·詹宁斯 , 约翰·斯特拉斯纳 :
使用信息模型和相关本体选择冲突分析策略。 82-85
短文II: 政策建模与分析
安娜·辛齐亚·斯奎卡里尼 , 马可·卡萨萨·蒙特 , Abhilasha Bhargav-Spantzel公司 , 伊丽莎·贝尔蒂诺 :
联邦数字身份管理中隐私政策的自动合规性。 89-92 罗曼·拉博德 , 米歇尔·卡梅尔 , 弗朗索瓦·巴雷 , 阿卜杜勒马利克·本泽克里 :
PEP=需要特别提高的点。 93-96 Yathiraj B.Udupi公司 , 穆林达尔·辛格 :
基于策略的服务约定的设计模式。 97-100 尼玛·卡维亚尼 , 德拉甘·加塞维奇 , 米兰米兰诺维奇 , 马雷克·哈塔拉 , 巴迪亚·穆罕默德 :
通用策略建模语言的模型驱动工程。 101-104 亚历山大·波利舍 , Ritu Chadha公司 :
PBNM技术评估:实用标准。 105-108
政策执行
海尔赫·贾尼克 , 安东尼奥·考 , 弗朗索瓦·西维 , 侯赛因·泽丹 :
使用控制策略的并发实施。 111-118 大卫·M·埃斯 , 斯里拉姆·斯里尼瓦桑 , 肯·穆迪 , 让·培根 :
动态安全策略的编译时实施。 119-126 拉玛斯瓦米·昌德拉穆利 :
智能身份证部署的政策规范和实施。 127-134
基于政策的管理
贾廷德·辛格 , 路易斯·巴尔加斯 , 让·培根 , 肯·穆迪 :
发布/订阅中间件中基于策略的信息共享。 137-144 安德烈·乌斯科(Andrzej Uszok) , 杰弗里·布拉德肖 , 詹姆斯·洛特 , 玛姬·R·布雷迪 , 拉里·邦奇 , 保罗·J·费尔托维奇 , 马修·约翰逊 , Hyuckhul Jung(Hyuchchul Jung) :
基于本体的策略管理的新发展:提高KAoS的实用性和全面性。 145-152 乔瓦尼·拉塞洛 , 张裕东 , 纳兰克·杜雷 :
医疗保健管理的基于同意的工作流。 153-161 里卡多·奈斯 , 帕特里夏·多克霍恩·科斯塔 , 马尔滕·韦格丹 , 马丁·范·辛德伦 :
上下文软件管理域的信息模型和体系结构。 162-169
共享和隐私
丹尼尔·沃克 , 埃里克·默瑟 , 肯特·塞蒙斯 :
或最佳方案:隐私政策协商协议。 173-180 张磊(Lei Zhang) , 亚里山大·布罗德斯基 , Vipin沼泽 , 苏西尔·贾约迪亚 :
基于元标记的净化文档效用最大化框架。 181-188 伊朗伊斯兰共和国 , 莫特扎·阿米尼 , 拉苏尔·贾利利 :
考虑管理员的多域授权逻辑。 189-196
短文III: 基于政策的管理新范式
马修·约翰逊 , 杰弗里·布拉德肖 , Hyuckhul Jung(Hyuchchul Jung) , 尼兰詹·苏里 , 马可·卡瓦略 :
跨多个平台和应用程序域的策略管理。 199-202 哈辛·蒙格拉 :
环境网络的基于策略的上下文软件框架。 203-206 朱莉安娜·米切尔·旺 , Ryszard Kowalczyk公司 , Quoc Bao Vo公司 :
社交网络概况和政策。 207-210 Kalyani Bogineni公司 , 弗莱明·安德烈森 :
下一代网络的策略对等。 211-214 阿卜杜勒纳赛尔·乌达 , 哈南·卢特菲亚 , 迈克尔·鲍尔 :
走向自我配置的基于策略的管理系统。 215-218 集坚洲 , 乔恩·克劳克罗夫特 , 李康文 , Starsky H.Y.Wong公司 :
如何在动态无线网络中启用基于策略的交互? 219-222
工具
克里斯托弗·马修斯 , Mieczyslaw M.Kokar公司 , 罗伯特·迪翁 :
使用BaseVISor扩展版本的形式化策略推理演示。 225-227 尤里·卢卡·德科伊 , 丹尼尔·奥米迪拉 , 谢尔盖·泽尔 , 皮耶罗·A·博纳蒂 , 路易吉·索罗 :
用于策略驱动的Web内容保护和个性化的信任管理包。 228-230 马修·约翰逊 , 保罗·J·费尔托维奇 , 杰弗里·布拉德肖 , 拉里·邦奇 :
通过动态调节演示人与机器人的协调。 231-232 安德烈·乌斯科(Andrzej Uszok) , 杰弗里·布拉德肖 :
使用KAoS策略服务框架演示选定的W3C策略语言兴趣组用例。 233-234 Ritu Chadha公司 , Cho-Yu Jason Chiang先生 :
DRAMA:MANET的分布式策略管理。 235-237 普拉蒂马·拉奥 , 丹·林 , 伊丽莎·贝尔蒂诺 , 李宁辉 , 豪尔赫·洛博 :
EXAM:访问控制策略分析和管理环境。 238-240 弗拉维奥·贝加马什 , 戴夫·康韦-琼斯 , 克里斯托弗·吉布森 , 安迪·斯坦福德-克拉克 , 迪内什·C·维尔玛 , 塞拉芬·B·卡罗 , 格雷格·西林乔内 , Tien Pham公司 :
策略支持的ITA传感器结构,一种使用真实和模拟传感器验证实验算法的分布式框架。 241-242 拉里·邦奇 , 杰弗里·布拉德肖 , 克利福德·O·杨 :
美国陆军作战场景中的政策管理信息交换。 243-244 凯文·特威德 , 埃米尔·卢普 , 纳兰克·杜雷 , 斯诺曼 :
思考2——自主普及系统的政策环境。 245-246 卡罗琳·布罗迪 , 大卫·乔治 , 克莱尔·玛丽·卡拉特 , 约翰·卡拉特 , 豪尔赫·洛博 , 曼迪斯·贝吉 , 王西平 , 塞拉芬·B·卡罗 , Dinesh C.Verma(Dinesh C.Verma) , 阿尔贝托·谢弗·菲略(Alberto E.Schaeffer Filho) , 埃米尔·卢普 , 斯诺曼 :
用于策略编写、验证和部署的联盟策略管理门户。 247-249
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)