Verifying a Hotel Key Card System

机译：验证酒店钥匙卡系统

获取原文

获取原文并翻译 | 示例

获取外文期刊封面目录资料

页面导航

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

摘要

Two models of an electronic hotel key card system are contrasted: a state based and a trace based one. Both are defined, verified, and proved equivalent in the theorem prover Isabelle/HOL. It is shown that if a guest follows a certain safety policy regarding her key cards, she can be sure that nobody but her can enter her room.

机译：对比了电子酒店钥匙卡系统的两种模型：基于状态的模型和基于跟踪的模型。在定理证明者Isabelle / HOL中，两者均被定义，验证和证明等效。结果表明，如果客人遵循有关其钥匙卡的某种安全政策，则她可以确定除了她以外的任何人都不能进入她的房间。

著录项

来源
《International Colloquium on Theoretical Aspects of Computing; 20061120-24; Tunis(TN)》|2006年|P.1-14|共14页
会议地点 Tunis(TN)
作者
Tobias Nipkow;
展开▼
作者单位

Institut fuer Informatik, TU Muenchen;

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

相似文献

外文文献
中文文献
专利

1. KEY DISCRIMINANT FACTORS AFFECTING HOTELS OWNERS AND MANAGERS TENDENCIES TOWARDS IMPLEMENTATION OF WATER CONSERVATION MEASURES,AND RAINWATER HARVESTING SYSTEMS INSTALLATIONAT HOTELS IN JORDAN [J] . Abdelfattah L Abdallah, TawfiqMAL Antary Fresenius environmental bulletin . 2021,第1期

机译：影响酒店所有者和管理者倾向于实施水资源保护措施的关键判别因素，以及约旦的雨水收集系统
2. Hotel-KeyCard - Von der Lochkarte zum zukunftssicheren RFID-System [J] . Helmut Koch Bautechnik . 2011,第12Speca期

机译：酒店钥匙卡-从打孔卡到面向未来的RFID系统
3. Determination of Goals under Four Perspectives of Balanced Scorecards and Linkages between the Perspectives: A Survey on Luxury Summer Hotels in Turkey [J] . Figen Türüdüo?lu, Nilüfer Suner, Gül?in Y?ld?r?m Procedia - Social and Behavioral Sciences . 2014,第2期

机译：平衡计分卡的四个视角下的目标确定以及视角之间的联系：土耳其豪华夏季酒店的调查
4. Verifying a Hotel Key Card System [C] . Tobias Nipkow International Colloquium on Theoretical Aspects of Computing; 20061120-24; Tunis(TN) . 2006

机译：验证酒店钥匙卡系统
5. Clinical implementation of electrocardiographic imaging (ECGI): Design, development, and verification of a person-specific electrocardiographic imaging system. [D] . Kaelber, David Charles. 1999

机译：心电图成像（ECGI）的临床实施：设计，开发和验证个人专用心电图成像系统。
6. Key Factors Influencing Low-Carbon Behaviors of Staff in Star-Rated Hotels—An Empirical Study of Eastern China [O] . Jie Li, Peng Mao, Hui Liu, 2020

机译：恒星酒店员工员工低碳行为的关键因素 - 中国东部的实证研究
7. Verifying a hotel key card system [O] . Tobias Nipkow 2006

机译：验证酒店钥匙卡系统
8. Maintaining and Using Key History on Personal Identity Verification (PIV) Cards [R] . Cooper, D. A. 2010

机译：维护和使用个人身份验证（pIV）卡上的关键历史记录

Verifying a Hotel Key Card System

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅