棘轮、设备锁定和会话撤销是三件不同的事；新消息不能代替切断窃贼的访问权限。
如果手机在未锁定状态下被盗，安全的假设是：设备上可访问的信息可能已被查看或复制。仅从另一台设备发送一条消息，并不能保证窃贼的会话失效，也不能保证其无法访问今后的消息。
锁定设备、管理账户会话和恢复密码学安全性是三项不同的工作。真实事件中必须检查这三个方面；任何棘轮机制都不能代替锁定丢失设备或撤销其访问权限。
首先应该做什么？
请从可信设备采取行动，不要为了取回手机而与窃贼当面对峙。如果存在紧迫危险，应优先保障自身安全。
- 使用制造商的官方工具查找并锁定设备。在 Android 上，Find Hub 提供锁定和擦除工具；命令能否执行取决于设备状态及网络连接。
- 检查重要账户的会话和已连接设备；如果服务提供相关功能，请通过官方途径撤销被盗设备的访问权限。
- 同时检查电子邮件账户和账户恢复途径。攻击者可能用同一部手机恢复其他账户。
- 如果 SIM 卡面临风险，请联系运营商停用线路或安全转移号码。这不能代替撤销应用会话。
- 通过可信渠道通知涉及敏感事务的联系人：暂时应核实来自你账户的意外消息。
远程擦除可能不可逆，也可能改变设备的可追踪性。做决定前，请考虑官方指南和潜在的证据保全需要。不要把命令已登记或已发送等同于已确认在设备上执行。
窃贼究竟能访问什么？
| 访问程度 | 潜在风险 | 相关措施 |
|---|---|---|
| 未锁定手机及可打开的应用 | 通过账户读取或发送消息 | 锁定设备并限制账户访问 |
| 有效的应用会话 | 在过期或被撤销前继续活动 | 通过服务的官方途径撤销会话 |
| 已复制的密钥或密码学状态 | 根据数据类型，部分通信可能面临风险 | 检查密码学身份和会话，并重新验证联系人 |
| 恶意软件或持久访问 | 持续收集新数据 | 恢复设备与账户的安全状态；仅修改密码不够 |
手机被盗不一定意味着所有密钥立即被提取；但没有提取证据，也不能说明未锁定的手机没有风险。
入侵后安全性意味着什么？
入侵后安全性（PCS）旨在部分密码学状态泄露后，在满足必要条件时恢复对未来消息的保护，例如引入攻击者不掌握的新数据，并且攻击者不再持续访问。
Double Ratchet 规范区分了针对窃听者的安全恢复，以及设备或密钥仍被攻击者掌握的风险。这项特性既不会清除恶意软件，也不会使会话令牌失效，更不能收回已被读取的消息。
每条消息更换密钥，本身也不够。如果攻击者掌握计算下一个密钥所需的状态，或仍能访问手机，“下一条消息”就不一定是重获安全的分界点。
关于 Livara，应检查什么？
Livara 威胁模型并不保证在未锁定或受感染手机遭到访问时仍能提供保护。安全文档也将身份恢复与聊天记录区分开来。本文没有提供证据支持“在新手机上登录会自动使旧会话失效”这一说法。
如果你使用 Livara，请检查已安装版本中实际存在的会话和恢复控制功能，并确认撤销访问的结果。不要把修改密码或恢复密钥视为删除全部旧会话。密码学身份发生变化后，涉及敏感事务的联系人应通过独立途径验证新密钥。
事件发生前应准备什么？
强健的锁屏方式、适当的自动锁定、系统更新、隐藏敏感预览，以及安全访问恢复途径，都有帮助。Android 防盗保护工具因设备和版本而异；请在自己的手机上确认是否可用。
制定一个简短计划：从哪台备用设备登录，如何结束会话，以及如何在不依赖丢失手机的情况下找到恢复密钥？
**重要原则：**恢复安全是一个过程。不要因为发了一条消息、换了一个密钥或看见一条警告，就认为事情已经结束。
