 | Vérificateur de flux d'informations de carte JavaJCSI est un outil prototype pour l'analyse et la visualisation des fichiers de capuchon de carte Java. La méthode d'analyse mise en uvre dans l'outil est basée sur la théorie de l'interprétation abstraite et une SECU à plusieurs niveaux |
| Télécharger maintenant | |
Vérificateur de flux d'informations de carte Java Classement & Résumé
Publicité
Vérificateur de flux d'informations de carte Java Mots clés
Vérificateur de flux d'informations de carte Java La description
JCSI est un outil de prototype pour l'analyse des fichiers de CAP de carte Java JCSI est un outil prototype pour l'analyse et la visualisation des fichiers de capuchon de carte Java. La méthode d'analyse mise en uvre dans l'outil est basée sur la théorie de l'interprétation abstraite et une mission de stratégie de sécurité à plusieurs niveaux. Les valeurs réelles des variables sont abstraites en niveaux de sécurité et les instructions de ByTecode sont exécutées sur un domaine abstrait. L'outil peut être utilisé pour la découverte de problèmes de sécurité en raison de flux d'informations explicites ou implicites et de vérifier les propriétés de sécurité des applications de cartes Java téléchargées à partir de sources non carteuses.
Vérificateur de flux d'informations de carte Java Logiciels associés
1er pq DVD au convertisseur vidéo iPod est libéré. C'est une solution tout-en-un à un clic pour convertir DVD, TIVO, DIVX, MPEG, WMV, AVI, RealMedia et bien d'autres en vidéo iPod. Super rapide (300% plus rapide que OT ...
Vous pouvez convertir du texte en code binaire et inverser. Maintenant, vous pouvez faire un statut MISTERY sur votre Facebook ou Twitter. Vous pouvez convertir du texte en code binaire et inverser. ...
La plate-forme d'enrichissement de l'e-mail de U-Btech's Xtrabanner d'U-BTECH améliore la correspondance de votre quotidien par courrier électronique avec des bannières graphiques et votre texte commercialisé. Chaque jour, des dizaines, des centaines ou même des milliers de messag par e-mail ...
Boomerang pour Gmail est un plug-in Firefox / chrome qui vous permet de prendre le contrôle de l'envoi et de la réception de messages électroniques. Envoyez un email plus tard avec Boomerang, vous pouvez écrire un email maintenant et le planifier ...
Récupérer les données pour MS Outlook est l'un des programmes de réparation de fichiers PST orientés versés et absolus à des résultats disponibles sur Internet. Ce logiciel vaillant utilise des techniques de récupération complets que m ...
À propos de nous