中国最大的综合性文献数据库 -维普资讯 关键词: 确认式编译技术 移动代码 安全性 并发性 Petri网[gap=1094]Key words: Certifying compiler, Mobile codes, Securiy,Concureney, Petri nets
基于178个网页-相关网页
Fourthly, we programmed and accomplished a virtual machine of PICC (VMP) using Java to protect mobile codes.
最后,我们利用Java语言编程实现了PICC虚拟机,用于提供对移动代码的纯软件保护。
参考来源 - 主动网安全机制若干问题的研究·2,447,543篇论文数据,部分数据来源于NoteExpress
无论何种原因在类装入器之间移动代码时都会出现问题。
Problems can arise when code is moved between class loaders for any reason.
在后面的一节中,我们将更详细地讨论基于域的移动代码安全性。
We'll discuss domain-based mobile code security in more detail in a later section.
在通常情况下,用户不会注意到移动代码在计算机上的下载和执行。
In almost all situations, the user is not aware that mobile code is downloading and executing in their workstation.
Given the code up there, if I want to move a tower of size n, what do I have to do?
鉴于这里的代码,如果我想移动N个圆盘,我该怎么做?
应用推荐