资 源 简 介
Introduction
We implement model-carrying-code (MCC) method by statically modeling security-relevant behaviors of objected-oriented mobile codes, verifying policies and enforcing the models.
We provide corresponding Eclipse plug-in, Model Verifier and JavaVM for Windows Mobile.
Binary Distributions
Binary release is still on the way.
Features
Model Generator features
Extensible as an Eclipse plug-in.
Easy create model for single source file or whole project.
Model Verifier features
Easy to port to any Mobile device supported JavaME
Friendly user interface and Policy Editor
Dynamic Monitor features
Adaptive matching strategy
Friendly user interface
Screenshots
Screenshot CoS model verifier:
请点击左侧文件开始预览 ！预览只提供20%的代码片段，完整代码需下载后查看 加载中 侵权举报
