多方会话中的动态角色授权
Dynamic Role Authorization in Multiparty Conversations
摘要：
协议规范通常标识通信中涉及的角色。在涉及任务委托的多方协议中，考虑不同站点可以代表单个角色的设置通常是有用的。因此，控制不同方被授权代表的角色至关重要，包括仅在运行时确定角色授权的情况。建立在以前的工作对话类型与灵活的角色分配，在这里，我们报告的初步结果，一个类型化的框架，分析多方通信的动态角色授权和委托。在底层流程模型中，通信前缀使用角色授权进行注释，并且授权可以传递。我们扩展了会话类型系统，以便静态区分从未发生授权错误的进程。所提出的静态规程保证进程始终被授权代表预期角色进行通信，还涵盖了在消息中动态传递授权的情况。
英文摘要：
Protocol specifications often identify the roles involved in communications. In multiparty protocols that involve task delegation it is often useful to consider settings in which different sites may act on behalf of a single role. It is then crucial to control the roles that the different parties are authorized to represent, including the case in which role authorizations are determined only at runtime. Building on previous work on conversation types with flexible role assignment, here we report initial results on a typed framework for the analysis of multiparty communications with dynamic role authorization and delegation. In the underlying process model, communication prefixes are annotated with role authorizations and authorizations can be passed around. We extend the conversation type system so as to statically distinguish processes that never incur in authorization errors. The proposed static discipline guarantees that processes are always authorized to communicate on behalf of an intended role, also covering the case in which authorizations are dynamically passed around in messages.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
