用于移动代码安全的项目。

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%的代码片段，完整代码需下载后查看 加载中 侵权举报