Java-kaartinformatie stroomverifier JCSI is een prototype-tool voor de analyse en visualisatie van Java-kaartdopbestanden. De analysemethode die in het gereedschap wordt geïmplementeerd, is gebaseerd op de theorie van abstracte interpretatie en een meerniveau SECU
Download nu

Java-kaartinformatie stroomverifier Rangschikking & Samenvatting

Java-kaartinformatie stroomverifier Tags

Java-kaartinformatie stroomverifier Beschrijving

JCSI is een prototype-tool voor de analyse van Java Card Cap-bestanden JCSI is een prototype-tool voor de analyse en visualisatie van Java Card Cap-bestanden. De analysemethode die in het gereedschap is geïmplementeerd, is gebaseerd op de theorie van abstracte interpretatie en een opdracht voor beveiligingsbeleid met meerdere niveaus. De werkelijke waarden van variabelen worden geabstraheerd in beveiligingsniveaus en ByTecode-instructies worden uitgevoerd over een abstract domein. De tool kan worden gebruikt voor het ontdekken van beveiligingskwesties als gevolg van expliciete of impliciete informatiestromen en voor het controleren van de beveiligingseigenschappen van Java-kaarttoepassingen die zijn gedownload van onbetwiste bronnen.

Java-kaartinformatie stroomverifier Gerelateerde software