Ce solutionneur est donc particulièrement utile pour les propriétés de sécurité du code intermédiaire Java Card, les fonctions de contrôle d'accès des environnements mobiles et discrétionnaires et la validation de narrations de protocoles dans des processus algébriques appropriés.
Por tanto, este solucionador es especialmente útil para las propiedades de la seguridad del código de la tarjeta Java, las características del control de acceso de los entornos móviles y discrecionales, y la validación de las narraciones de protocolo en los procesos de álgebra adecuados.
Autres résultats
Celui-ci a été développé avec un analyseur statique orienté contraintes qui utilise le langage Carmel, une représentation intermédiaire du code Java Card.
Éste se desarrolló dentro de un analizador basado en las limitaciones que emplea el lenguaje Carmel, una representación intermedia del código de bites Java Card.
Nous proposons une solution de carte multi-applications basée sur des systèmes d'exploitation Java Card conformes aux spécifications de Java Card et de la plateforme mondiale.
Ofrecemos una solución para tarjetas multiaplicación basada en los sistemas operativos Java Card, en conformidad con las especificaciones GlobalPlatform y Java Card.
En plus de notre large gamme d'appliquettes Java Card, il est possible d'ajouter des appliquettes tierces et des applications développées par le client.
Además de nuestra amplia gama de applets para Java Card, es posible añadir applets de terceros y aplicaciones desarrolladas por los clientes.
Pour le développement des appliquettes Java Card, nous offrons aux clients un kit puissant de développement de logiciels (SDK).
Para el desarrollo de applets para Java Card, ofrecemos a los clientes un potente kit de desarrollo de software (SDK).
Nous offrons également des systèmes d'exploitation Java Card basés sur Java Card 3.04 et GlobalPlatform 2.2 ou une version ultérieure.
Ofrecemos también sistemas operativos Java Card basados en Java Card 3.04 y GlobalPlatform 2.2, o versiones posteriores.
Ainsi le rédacteur de la cible de sécurité peut soit s'appuyer, en composition, sur une plateforme Java Card ouverte certifiée selon le PP Système Java Card - Configuration ouverte, soit
El creador de la ST podría usar un sistema Java Card previamente certificado (de acuerdo a PP Java Card System Open Configuration, usando composición, aunque también podría
Ce paquet fournit les fichiers nécessaires à l'installation d'Emerson Avocent AutoView 2216 version du micrologiciel du commutateur KVM 1.18.4.Fixes: - Java session KVM se fige après la sortie de la fenêtre Carte Smart Card et de tenter de... 25 Apr 16 Dans Pilotes, Firmware Windows
Este paquete proporciona los archivos de instalación necesarios de Emerson Avocent AutoView 2108 conmutador KVM versión de firmware 1.18.4.Fixes: - Java sesión KVM se congela después de salir de la ventana de la tarjeta inteligente Mapa e intentar volver... 25 Apr 16 En Conductores, Firmware Windows
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.
Aucun résultat pour cette recherche.
Synonymes et analogies de "Java Card, les" en français
