Formalization and formal verification of the security model conducted in Coq.
Formalización y verificación formal del LMLS efectuado en Coq.
The Intralinks security model is based on four pillars: application, infrastructure, personnel and process.
El modelo de seguridadde Intralinks está basado en cuatro pilares: aplicaciones, infraestructura, personal y procesos.
Implement a global and centralized security model for information.
Implantar un modelo de seguridad global y centralizado para la información.
All access is controlled through a highly configurable, fine-grained and pervasive security model.
Todo el acceso está controlado mediante un modelo de seguridad extendido, preciso y muy configurable.
The revisions concerning the security model include the fiscal system and its distributive capacity.
Las revisiones sobre el modelo de seguridad incluyen el Sistema fiscal y su capacidad distributiva.
We designed our Exchange service around a very tight security model.
Hemos diseñado nuestro servicio Exchange bajo un modelo de seguridad firme.
Monotone's security model helps to ensure that nobody can easily impersonate a developer without it being noticed.
El modelo de seguridadde Monotone ayuda a asegurar que nadie puede suplantar a un programador fácilmente si ser detectado.
Static groups are essential for the security model in ESMC 7.
Los grupos estáticos son fundamentales para el modelo de seguridad en ESMC 7;
InterSystems Security Model includes capabilities for securing data as it flows through your connected solutions.
El modelo de seguridadde InterSystems incluye capacidades para asegurar datos a medida que fluyen por las soluciones conectadas.
Any way that implies bypassing, breaking orevading Firefox OS security model.
Cualquier método que implique eludir,romper u obviar un modelo de seguridadde Firefox OS.
The security model implemented by the system allows you to express security policies for various permssions.
El modelo de seguridad implementado por el sistema le permite expresar las políticas de seguridad para diversos permssions.
A vulnerability that involves the Internet Explorer cross-domain security model.
Una vulnerabilidad que implica al modelo de seguridad entre dominios de Internet Explorer.
This is basically the security model of delegated proof-of-stake(DPOS) blockchains like BitShares.
Esto es básicamente el modelo de seguridadde las blockchains basadas en el modelo de Prueba de Participación Diferida( delegated proof-of-stake- DPOS) como Bitshares.
Running containers allows you to adopt a fundamentally different security model.
La ejecución de contenedores te permite adoptar un modelo de seguridad completamente nuevo.
Support for security models- A security model may define the security policy within an administrative domain or an intranet.
Soporte para los modelos de seguridad-Un modelo de seguridad puede definir la política de seguridad dentro de un dominio administrativo o una intranet.
Optional support for JavaScript-mediated interactivity using a custom security model.
Soporte opcional para la interactividad mediada por JavaScript mediante un modelo de seguridad personalizado.
In the article: Security Model in OS X(I), we introduced the operating system's main accumulated security features accumulated up to Yosemite OS X 10.10.
En el artículo: Modelo de seguridadde OS X(I), se introducen las principales características de seguridad del sistema operativo acumuladas hasta Yosemite OS X 10.10.
Read Lior Yaffe's recent blog post on the topic of Nxt's PoS security model.
Lee el reciente post de Lior Yaffe sobre el modelo de seguridadde Prueba de Participación de Nxt.
Even Edward Snowden, who previously criticized Telegram's security model, now supports Telegram's resistance and its leadership against the Russian government's limiting actions.
Edward Snowden, quien anteriormente criticó el modelo de seguridadde Telegram, ahora apoya la resistencia de Telegram y su liderazgo contra las acciones restrictivas del gobierno ruso.
When run in the sandbox, it can interact with JavaScript andshares the same permissions and security model.
Cuando se ejecuta en un sandbox, puede interactuar con JavaScript ycompartir los mismos permisos y modelos de seguridad.
We instruct our representatives to work energetically on the Security Model and invite the Chairman-in-Office to report to the next Ministerial Council in Copenhagen.
Encomendamos a nuestros representantes que trabajen enérgicamente en el Modelo de seguridad e invitamos al Presidente en ejercicio a presentar un informe en la próxima Reunión del Consejo Ministerial en Copenhague.
Just remember that a front-end developer is not the one who should define the security model of the data.
Sólo recuerde que un desarrollador de aplicaciones para usuario no es el que debe definir el modelo de seguridadde los datos.
SIP complements other previously existing measures, such as XProtect and GateKeeper which comprise the Mac OS's basic security model against unidentified software.
SIP complementa otras medidas ya existentes anteriormente, como XProtect o GateKeeper que conforman modelo de seguridad básico en Mac OS contra software no identificado.
Our system uses standard cryptographic assumptions anddoes not introduce new trusted parties or otherwise change the security model of Bitcoin.
Nuestro sistema utiliza presupuestos criptográficos estándar yno introduce nuevos requisitos de confianza con terceros ni un cambio en el modelo de seguridadde Bitcoin.
It was the first mainstream operating system with a proper implementation of a very flexible security model based on access control lists.
Se trató del primer sistema operativo de uso corriente con una implementación adecuada de un modelo de seguridad muy flexible basado en listas de control de acceso.
Results: 187,
Time: 0.0417
How to use "security model" in an English sentence
Note: This security model describes the security model of Hermes.
Synchronization Standard Security Model Enhanced Security Model Speed of synchronization Fast Slow.
The prevention-dominant security model has failed.
Pool Rent Security Model Date Avail.
SQL Server Security model and ADO.
Delegation-Based Security Model for Web Services.
The user security model should match with the security model of the system.
Simplify permissions: The model security model replies on Java security model and sandboxing.
The security model moves from simple community strings to User Security Model (USM).
Español
Dansk
Deutsch
Français
हिंदी
Italiano
Nederlands
Português
Русский
Tagalog
عربى
Български
বাংলা
Český
Ελληνικά
Suomi
עִברִית
Hrvatski
Magyar
Bahasa indonesia
日本語
Қазақ
한국어
മലയാളം
मराठी
Bahasa malay
Norsk
Polski
Română
Slovenský
Slovenski
Српски
Svenska
தமிழ்
తెలుగు
ไทย
Turkce
Українська
اردو
Tiếng việt
中文