Java 카드 정보 흐름 검증기 (JCSI)

Java 카드 캡 파일 분석 및보기
지금 다운로드

Java 카드 정보 흐름 검증기 (JCSI) 순위 및 요약

광고

  • Rating:
  • 특허:
  • GPL
  • 게시자 이름:
  • Paolo Masci
  • 운영체제:
  • Windows All
  • 파일 크기:
  • 2.8 MB

Java 카드 정보 흐름 검증기 (JCSI) 태그


Java 카드 정보 흐름 검증기 (JCSI) 설명

Java Card Information Flow Verifier는 Java Card Cap 파일을 열고 분석 할 수있는 Java로 내장 된 편리하고 사용하기 쉬운 응용 프로그램입니다. Java 카드 정보 흐름 검증자는 포함 된 Java 카드 응용 프로그램이 안전한 지 확인하기 위해 추상 도메인을 통해 바이트 코드 명령을 실행할 수 있습니다. 정보 흐름과 관련된 보안 문제를 탐지하는 데 유용합니다.


Java 카드 정보 흐름 검증기 (JCSI) 관련 소프트웨어

회사 소개