Actor-Network Procedures

机译：演员网络程序

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper we propose actor-networks as a formal model of computation in heterogenous networks of computers, humans and their devices, where these new procedures run; and we introduce Procedure Derivation Logic (PDL) as a framework for reasoning about security in actor-networks, as an extension of our previous Protocol Derivation Logic. Both formalisms are geared towards graphic reasoning. We illus trate its workings by analysing a popular form of two-factor authentica tion.

机译：在本文中，我们提出将参与者网络作为运行这些新过程的计算机，人类及其设备的异构网络中的一种正式的计算模型。并且，我们引入了过程推导逻辑（PDL）作为对参与者网络中的安全性进行推理的框架，作为对先前协议推导逻辑的扩展。两种形式主义都针对图形推理。我们通过分析一种流行的两因素验证形式来说明其工作原理。

著录项

来源
《Distributed computing and internet technology.》|2012年|p.7-26|共20页
会议地点 Bhubaneswar(IN);Bhubaneswar(IN)
作者
Dusko Pavlovic; Catherine Meadows;
展开▼
作者单位

Royal Holloway, University of London, and Universiteit Twente, EWI/DIES;

Naval Research Laboratory, Code 5543, Washington, DC 20375;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算机网络;计算机网络;
关键词

相似文献

外文文献
中文文献
专利

1. Trojan actor-networks and swift translation: Bringing actor-network theory to IT project escalation studies [J] . Magnus Maehring, Jonny Holmstroem, Mark Keil, Information technology & people . 2004,第2期

机译：木马演员网络和快速翻译：将演员网络理论引入IT项目升级研究
2. An exploration of actor-network theory and social affordance for the development of a tourist attraction: A case study of a Jimmy-related theme park, Taiwan [J] . Chen Yeong-Shyang, Wu Shou-Tsung Tourism management . 2021,第Feba期

机译：演员 - 网络理论与旅游景点发展的社会可供探索 - 以台湾吉米相关主题公园为例
3. A struggle for translation: An actor-network analysis of Chilean school violence and school climate policies [J] . Verónica López, Vicente Sisto, Enrique Baleriola, Educational Management Administration & Leadership . 2021,第1期

机译：争吵的斗争：智利学校暴力和学校气候政策的演员网络分析
4. Implementation of Customer Relationship Management System (CRMS) In Healthcare: An Actor-Network Theory (ANT) Perception [C] . Yahia Baashar, Gamal Alkawsi, Hitham Alhussian, International Conference on Computer and Information Sciences . 2021

机译：在医疗保健中实施客户关系管理系统（CRMS）：演员 - 网络理论（ANT）感知
5. Making Literature Matter: Actor-Network and Non-Representational Approaches to Socially Transformative Literature Pedagogies. [D] . McKenzie, Cori Ann. 2017

机译：使文学变得重要：社会网络文学教学的演员网络和非代表性方法。
6. Actor-network theory and ethnography: Sociomaterial approaches to researching medical education [O] . Anna MacLeod, Paula Cameron, Rola Ajjawi, 2019

机译：演员网络理论与人种志：医学教育研究的社会材料方法
7. Actor-Network Procedures [O] . Pavlovic Dusko, Meadows Catherine 2012

机译：演员网络程序
8. Actor-network Procedures: Modeling Multi-factor Authentication, Device Pairing, Social Interactions. [R] . Pavlovic, D., Meadows, C. 2011

机译：演员 - 网络程序：多因素身份验证，设备配对，社交互动建模。

Actor-Network Procedures

摘要

著录项

相似文献

相关主题

期刊订阅