A Visualization System for Permission Check in Java Using Static Analysis

The KIPS Transactions:PartA

doi 10.3745/kipsta.2006.13a.5.399

Full Text

Abstract

Available in

Date

October 30, 2006

Authors

Byeong-Mo Chang

Publisher

Korea Information Processing Society

Related search

Visualization of Permission Checks in Java Using Static Analysis

English

Permission-Based Separation Logic for Multithreaded Java Programs

Logical Methods in Computer Science

Computer Science

Theoretical Computer Science

English

Static Analysis of Malicious Java Applets

English

Impact Analysis and Visualization Toolkit for Static Crosscutting in AspectJ

English

Axiomatizations of Permission Values for Games With a Hierarchical Permission Structure Using Split Neutrality

SSRN Electronic Journal

English

Analysis of Learner Performance on a Tutoring System for Java

English

Banzhaf Permission Values for Games With a Permission Structure

English

Design of Crowdsourcing System for Analysis of Gravitational Flow Using X-Ray Visualization

English

HeloVis: A Helical Visualization for SIGINT Analysis Using 3D Immersion

English