Language-Based Security for Malicious Mobile Code
msra(2002)
关键词
security,computer access control,firmware,automata,software engineering,verification,policies,programming languages,compilers,algebra,coding,computer programming
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要