SPESEC has a clearly defined virtual machine and provides language for programming this machine, thus providing the user with a complete programming and execution environment.

SPESEC具有明确定义的虚拟机，提供了为该虚拟机编程的语言，从而为用户提供了完整的编程和运行环境。

youdao

Virtual sandbox immediately identifies attachments and downloads and marks them for execution in a synthetic empty environment, called a sandbox.

虚拟沙盒立即查明附件和下载，标志着他们在执行空合成环境，所谓的沙盘。

youdao