OS-Sentinel：混合框架检测移动AI代理不安全操作

OS-Sentinel：让移动AI代理更安全

新研究提出混合框架，检测VLM驱动的移动GUI代理的不安全操作。
结合形式验证与上下文VLM评判，识别隐私泄露和有害行为。
相比基线最多提升30%。