Tác nhân xác thực: đáng tin cậy và không đáng tin cậy tác nhân xác thực hệ thống,Kiểm soát truy cập tài nguyên: Thực hiện / hoặc không một kiểm soát truy cập discre-tionary,Hỗ trợ mã hóa/giải mã tiện nghi: sử dụng Sở NN & PTNT stan giao thức như SSL và hỗ trợ phổ biến sử dụng thuật toán (DES, DEA, ý tưởng, RSA và vv.),Mã verifier (đại lý hành động Verifier): bao gồm một particu-lar bytecode verifier hoặc cho phép một quảng cáo như vậy trên một cách dễ dàng. Chúng tôi chủ yếu là định phát triển một cụ thể Java bytecode phân tích như trong [45] cho xác minh tiểu dụng thuộc tính bảo mật. Một thay thế khác là sử dụng một verifier như vậy như giới thiệu của Michiaki Tatsubori [46].
đang được dịch, vui lòng đợi..