标签
本文介绍了Portico，一种用于编程代理可撤销能力的参考监视器，解决了“持久授权”问题——临时资源访问在其使用场景结束后仍暴露在外。研究表明，Portico通过在任务关闭后撤销权限来强制执行任务契约，阻止了被禁止的效果。