¿Qué es DOS?
En “Concepto”, te contaré la definición, antecedentes y principio de esta entrada.
En "Cómo", te contaré la aplicación, técnicas y posibles problemas de esta entrada.
En términos generales, DOS tiene dos conceptos diferentes: denegación de servicio o sistema operativo de disco. Por lo general, DOS (O minúscula) se refiere a denegación de servicio y DoS (O mayúscula) se refiere al sistema operativo del disco.
Con el desarrollo de la tecnología informática, la red también se está popularizando y desarrollando rápidamente. Si bien las personas disfrutan de la comodidad que ofrece Internet, también son atacadas por muchos piratas informáticos. Entre muchos tipos de ataques, existe un ataque llamado DOS (Denial of Service (DoS)), que es una tecnología de ataque de red común y eficaz que utiliza las fallas del protocolo o sistema para engañar o disfrazar para llevar a cabo ataques de red. y, en última instancia, hace que la víctima El sistema se paralice debido al agotamiento de los recursos o a la falta de respuesta correcta, por lo que no puede proporcionar servicios normales a los usuarios legítimos. Parece discreto, pero tiene un amplio rango de ataque, un fuerte ocultamiento, simple y efectivo, y tiene. convertirse en una poderosa tecnología de ataque en la red, que ha afectado en gran medida los servicios efectivos de la red y los sistemas host comerciales. Entre ellos, DDOS (denegación de servicio distribuida) es famoso por su gran escala, fuerte ocultación y dificultad para prevenir. editar este párrafo] Ataques DoS Ataque de red Ataca deliberadamente las fallas de los protocolos de red o agota directamente los recursos del objeto atacado por algún medio, con el propósito de hacer que la computadora o red objetivo no pueda proporcionar servicios normales o acceso a recursos. provocando que el servicio del sistema de destino deje de responder o incluso falle. El servidor o dispositivo de red de destino en este ataque no se ve comprometido. Estos recursos del servicio incluyen el ancho de banda de la red, las pilas del sistema o las conexiones abiertas. Este ataque puede causar el agotamiento de los recursos, sin importar qué tan rápido. No importa qué tan grande sea la capacidad de la memoria o qué tan rápido sea el ancho de banda de la red, las consecuencias de este ataque son inevitables. Cualquier recurso tiene un límite, por lo que siempre puede encontrar una manera de hacer que el valor solicitado sea mayor. el límite, provocando que se agoten los recursos de servicio proporcionados.
Existen muchos tipos de ataques DoS, incluidos ataques terrestres, ataques mortales, ataques de lágrimas, ataques smurf e inundaciones SYN.
Según. Según las estadísticas, los ataques de inundación de sincronización son los más comunes entre todos los ataques de piratas informáticos, el método de ataque DoS más sencillo.
1. Comprenda el proceso de protocolo de enlace de tres vías de la conexión TCP. El protocolo TCP proporciona servicios de conexión confiables y utiliza un protocolo de enlace de tres vías para establecer una conexión. El primer protocolo de enlace: al establecer una conexión, el cliente envía un paquete SYN ((SYN =). i)) al servidor y entra en el estado de envío SYN, esperando que el servidor confirme;
Segundo apretón de manos: cuando el servidor recibe el paquete SYN, debe confirmar el SYN del cliente (ACK=i 1) y envíe un paquete SYN ((SYN j)}, que es el paquete SYN ACK. En este momento, el servidor ingresa al estado SYN_RECV;
Apretón de manos de tres vías: el cliente recibe el paquete SYN ACK del servidor y envía el paquete de confirmación ACK (ACK = j 1) al servidor. Después de enviar este paquete, el cliente y el servidor ingresan al estado de establecimiento y completan el protocolo de enlace, el cliente y el servidor comienzan a transmitir datos.
En el proceso anterior, existen algunos conceptos importantes:
Semiconexión: el estado de la conexión cuando se recibe un paquete SYN pero no se recibe ningún paquete ACK se denomina semiconexión. , es decir, un protocolo de enlace de tres vías La conexión TCP no se ha completado por completo.
Cola semiconectada: en el protocolo de protocolo de enlace de tres vías, el servidor mantiene una cola semiconectada y abre una entrada para el paquete SYN de cada cliente (SYN=i), lo que indica que el servidor ha recibido el paquete SYN, envió una confirmación al cliente y está esperando el paquete de confirmación del cliente. Las conexiones identificadas por estas entradas están en el estado SYN_RECV en el servidor. Cuando el servidor recibe el paquete de confirmación del cliente, la entrada se elimina y el servidor ingresa al estado Establecido.
Parámetro Backlog: Indica el número máximo de colas semiconectadas.
Número de retransmisiones SYN-ACK: después de que el servidor envía el paquete SYN-ACK, si no recibe el paquete de confirmación del cliente, el servidor lo retransmitirá por primera vez y esperará un período de tiempo. sin recibir el paquete de confirmación del cliente Realice una segunda retransmisión. Si el número de retransmisiones excede el número máximo de retransmisiones especificado por el sistema, el sistema elimina la información de conexión de la cola de semiconexión. Tenga en cuenta que el tiempo de espera para cada retransmisión no es necesariamente el mismo.
Tiempo de supervivencia de semiconexión: se refiere al tiempo máximo para que sobreviva la entrada en la cola de semiconexión, es decir, el tiempo máximo para que el servicio reciba el paquete SYN y confirme que el mensaje es inválido. Este valor de tiempo es la suma de los tiempos de espera más largos de todos los paquetes de solicitud de retransmisión. A veces, el tiempo de supervivencia de media conexión también se denomina período de tiempo de espera y tiempo de supervivencia SYN_RECV.
Los tres parámetros anteriores tienen un gran impacto en la conexión TCP del sistema.
El ataque de inundación SYN es un tipo de ataque DoS que explota las fallas del protocolo TCP y consume recursos de CPU y memoria enviando una gran cantidad de solicitudes de semiconexión. Los ataques SYN no sólo afectan a los hosts, sino que también dañan los sistemas de red como enrutadores y firewalls. De hecho, los ataques SYN se pueden llevar a cabo independientemente de los sistemas de destino, siempre que esos sistemas tengan los servicios TCP activados. Como se puede ver en la Figura 4-3, el servidor recibe la solicitud de conexión (SYN=i), agrega esta información a la cola de desconexión, envía un paquete de solicitud (SYN=j, ACK=i 1) al cliente y luego ingresa al estado SYN_RECV. Cuando el servidor no recibe un paquete de confirmación del cliente, retransmite el paquete de solicitud hasta que se agota el tiempo de espera y luego elimina la entrada de la cola de desconexión. Con la ayuda de la suplantación de IP, los ataques SYN pueden lograr grandes resultados. Por lo general, el cliente falsificará una gran cantidad de direcciones IP inexistentes en un corto período de tiempo y enviará continuamente paquetes SYN al servidor. El servidor responde con un paquete de confirmación y espera la confirmación del cliente. Debido a que la dirección de origen no existe, el servidor debe seguir retransmitiendo hasta que se agote el tiempo de espera. Estos paquetes SYN falsos ocuparán la cola de desconexión durante mucho tiempo y también se producirán solicitudes SYN normales.
Si se descarta, el sistema de destino se ejecutará lentamente, lo que puede causar una congestión grave en la red o incluso la parálisis del sistema. El proceso es el siguiente:
Atacar el host C (C' después del camuflaje de dirección) -una gran cantidad de paquetes SYN-->; host atacado
C' lt-SYN/ACK ataque de paquete El host
Debido a que la dirección C' es inalcanzable, el host atacado agota el tiempo de espera mientras espera el paquete SYN. El host atacante llena la cola desconectada enviando una gran cantidad de paquetes SYN, lo que provoca una denegación de servicio para los paquetes SYN normales. Además, los ataques de inundación SYN también pueden realizar ataques DoS enviando una gran cantidad de paquetes de confirmación.
2. Algoritmo tradicional
Los métodos comúnmente utilizados para resistir ataques de inundación SYN incluyen el método de firewall de puerta de enlace, el método de firewall de retransmisión y las cookies SYN. Para facilitar la descripción, el diagrama de topología del sistema se simplifica como en la Figura 4-4. En la figura, la red se divide en red interna y red externa según esté dentro o fuera del firewall (la red interna está protegida por el firewall). En segundo lugar, configure el temporizador de retransmisión SYN del firewall. El valor del tiempo de espera debe ser lo suficientemente pequeño para evitar que se llene la cola de trabajos pendientes; al mismo tiempo, debe ser lo suficientemente grande para garantizar una comunicación normal con el usuario.
(1) Método de firewall de puerta de enlace
La idea básica del firewall de puerta de enlace para resistir ataques es: para el paquete SYN/ACK enviado por el servidor de intranet, el firewall envía inmediatamente un Paquete ACK en respuesta. Cuando el servidor de la intranet recibe el paquete ACK, la semiconexión se elimina de la cola de trabajos pendientes, la conexión se convierte en una conexión abierta y se completa la conexión TCP. Dado que la capacidad del servidor para manejar conexiones abiertas es mucho mayor que las medias conexiones, este método puede mitigar eficazmente los ataques SYN en los servidores de la intranet, mantener llena la cola de trabajos pendientes y esperar más tiempo antes de retransmitir una conexión incompleta.
La siguiente es una descripción completa del algoritmo:
Paso 1. El firewall intercepta el paquete SYN enviado por el cliente de la red externa al servidor de la red interna y le permite pasar a el servidor de red interno. Este evento también se registra en la tabla de seguimiento de conexiones.
En el segundo paso, el firewall intercepta el paquete de respuesta SYN/ACK enviado por el servidor al cliente y lo compara con el paquete SYN correspondiente registrado en la tabla de seguimiento de conexiones.
El tercer paso es que el firewall permita que el SYN/ACK interceptado continúe (enviado al cliente). Al mismo tiempo, se envía un paquete ACK al servidor de la intranet. De esta manera, para el servidor, se completa la conexión TCP al protocolo de enlace de tres vías. El sistema elimina la semiconexión en la cola de trabajos pendientes.
El cuarto paso es ver si la conexión TCP es válida y generar dos soluciones en consecuencia. Si el intento de conexión del cliente es válido, el firewall recibirá un paquete ACK del cliente y lo reenviará al servidor. El servidor ignorará este paquete ACK redundante, que está permitido en el protocolo TCP.
Si la dirección IP del cliente no existe, el firewall no recibirá el paquete ACK del cliente y el temporizador de retransmisión expirará. En este punto, el firewall retransmite la conexión.
(2) Método de firewall de retransmisión
La idea de que el firewall de retransmisión resista los ataques es que antes de que el firewall envíe un paquete SYN al servidor de la intranet, primero debe completar un protocolo de enlace de tres vías con la conexión de red externa, eliminando así las condiciones para que se establezca el ataque de inundación SYN.
Aquí hay una descripción completa del algoritmo:
El primer paso es que el firewall intercepte los paquetes SYN enviados por el cliente de la red externa al servidor de la red interna.
El segundo paso es que el firewall no envía paquetes SYN directamente a la intranet, sino que envía paquetes SYNIACK a la red externa en lugar del servidor de la intranet.
Paso 3: El firewall solo envía un paquete SYN a la red interna después de recibir el paquete ACK de la red externa.
Paso 4, el servidor responde con un paquete SYN/ACK.
Paso 5, el firewall responde al paquete ACK.
(3) Análisis
En primer lugar, se analiza el rendimiento del algoritmo. Se puede ver que para mejorar la eficiencia, el algoritmo anterior utiliza mecanismos como la detección de estado. (Se puede pasar a través de la capa del módulo básico de este sistema).
Para paquetes que no son SYN (paquetes CSYN/ACK y ACK), si el elemento correspondiente no se encuentra en la tabla de información de seguimiento de conexión, se necesita una base de reglas coincidente. La base de reglas coincidente debe comparar muchas. elementos (como dirección IP, número de puerto, etc.), esto costará mucho y reducirá el tráfico del firewall. Además, en el algoritmo del firewall de retransmisión, se utiliza el proxy de paquetes SYN, lo que aumenta la carga del firewall y reduce el tráfico del firewall.
En segundo lugar, cuando el host atacante envía un paquete ACK en lugar de un paquete SYN, el algoritmo tendrá una vulnerabilidad de seguridad. Normalmente, una conexión TCP comienza con un paquete SYN. Una vez que el paquete SYN coincida con la base de reglas, la conexión se agregará a la tabla de seguimiento de conexiones y el sistema se retrasará durante 60 segundos. Más tarde, después de recibir el paquete ACK, el retraso de la conexión aumentó repentinamente a 3600 s. Si una conexión TCP comienza con un paquete ACK y la conexión no está registrada en la tabla de seguimiento de conexiones, el paquete ACK se comparará con la base de reglas. Si la coincidencia tiene éxito, la conexión se agregará a la tabla de seguimiento de conexiones y su retraso se establecerá en 3600 segundos. Incluso si el sistema deja de responder, la conexión no se finalizará. Si un atacante envía una gran cantidad de paquetes ACK, llenará la cola de semiconexión, haciendo imposible establecer otras conexiones TCP.
Este ataque proviene de la red interna. Debido al ataque del paquete ACK de la red externa, el servidor enviará un paquete RST para finalizar la conexión (SOS >). Para la subcontratación de la red interna, las reglas restrictivas son mucho más flexibles una vez que el atacante envía una gran cantidad de ACK. paquetes de la red interna dentro de un cierto período de tiempo, y la velocidad es mayor que la velocidad de procesamiento del firewall, fácilmente causará la parálisis del sistema
(4) Cookies de sincronización
Linux admite cookies SYN, modificando el método de generación del número de serie del protocolo TCP. Puede fortalecer la capacidad de resistir ataques de inundación SYN. En el protocolo TCP, cuando el servidor recibe la solicitud SYN del cliente, debe responder al cliente. con un paquete SYN-SACK, y el cliente también necesita enviar un paquete de confirmación al servidor. Normalmente, el servidor necesita enviar un paquete SYN-SACK al cliente. El número de serie inicial lo calcula el servidor de acuerdo con ciertas reglas. o usando números aleatorios, pero en las cookies SYN, el número de serie inicial del servidor se calcula aplicando hash a la dirección IP del cliente, el puerto del cliente, la dirección IP del servidor, el puerto del servidor, etc. El valor de seguridad se denomina cookies cuando el servidor es atacado por SYN. y la cola de trabajos pendientes está llena, el servidor no rechaza la nueva solicitud SYN, pero responde al cliente con una cookie (número de secuencia SYN del paquete de respuesta) si se recibe del cliente en el paquete ACK, el servidor resta 1 de. El número de secuencia ACK del cliente. La cookie compara estos valores y realiza una operación hash en los elementos anteriores para ver si son iguales a esta cookie. Si son iguales, el protocolo de enlace de tres vías se completa directamente (Nota: en este momento). No es necesario comprobar si la conexión pertenece a la cola de trabajos pendientes).
La ventaja de este algoritmo es que las cookies SYN aún pueden manejar nuevas solicitudes SYN cuando la cola de semiconexión está llena. Se requieren opciones de TCP deshabilitadas, como ventanas grandes. Contar cookies cuesta dinero
/* Un paquete IP, todos sus fragmentos se colocan en una lista vinculada y el fragmento de IP de cada fragmento está representado por. una estructura ipfrag El ensamblaje centralizado se lleva a cabo en esta lista vinculada */
La estructura del código antiataque del kernel es la siguiente:
//frommand.com) e IO. interfaz (io.sys).
Shell es el shell de DOS, que se encarga de traducir los comandos introducidos por el usuario a un lenguaje que el sistema operativo pueda entender.
La interfaz IO de DOS generalmente implementa un conjunto de interrupciones basadas en int21h.
Los DOS más utilizados actualmente incluyen: MS-DOS PC-DOS, FreeDOS, ROM-DOS, etc.
1.2 Introducción a MS-DOS
El sistema Windows9x está basado en MS-DOS.
Los sistemas Windows9x y superiores se basan en el kernel NT.
Desde su aparición en 1981, DOS se ha actualizado continuamente, desde el DOS1.0 original hasta el último DOS8.0 (sistema Windows ME. La versión más alta de DOS puro es DOS7.10). Todas las nuevas versiones de DOS desde entonces son proporcionadas por sistemas Windows y no existen por separado.
DOS se divide en dos partes: el programa de inicio central y el programa de comando.
El programa de arranque principal de DOS incluye el programa de arranque del sistema, IO. SISTEMA, MSDOS. SYS Y COMMAND.COM. Son la parte más básica del sistema DOS y se pueden utilizar para iniciar el sistema.
Sin embargo, un programa de inicio por sí solo no es suficiente. Como sistema operativo basado en caracteres, DOS generalmente se maneja mediante comandos. Los comandos de DOS se dividen en comandos internos y comandos externos. Los comandos internos son algunos programas de comando de uso común que no ocupan mucho espacio, como dir y cd. Existen en el archivo COMMAND.COM y se cargarán en la memoria cuando se inicie el sistema para poder llamarlos fácilmente. Mientras que otros comandos externos existen como archivos ejecutables separados y solo se transfieren a la memoria cuando se usan.
La ventaja de DOS es su velocidad.
Los usuarios expertos pueden completar algunas tareas tediosas creando archivos por lotes BAT o CMD, e incluso crear algunos programas pequeños mediante algunos comandos de juicio (IF, |). Entonces, incluso bajo XP, CMD sigue siendo el favorito de los expertos.
[1] Principales acontecimientos de MS-DOS
DOS1.0 Microsoft compró los derechos de autor de 86-DOS (QDOS) y, en julio de 1981, se convirtió en el primer sistema operativo del PC IBM. Al mismo tiempo, Microsoft desarrolló una versión especial de PC-DOS para PC IBM, pero en comparación con la versión de propósito general de DOS, a excepción del nombre del archivo del sistema y algunos comandos y utilidades externos centrales diseñados para máquinas IBM, el resto del código en realidad no es muy diferente.
DOS 1.25 de junio de 1982, admite disquetes de doble cara y comienza la corrección de errores.
No sólo IBM, sino también muchos fabricantes OEM lo están utilizando ampliamente.
DOS2.0 de marzo de 1983, se agregó un sistema de archivos de árbol estilo UNIX y soporte para disco duro. Desde una perspectiva de bajo nivel, esta fue la primera modificación importante de DOS. Esta versión no solo es compatible con el sistema de archivos CP/M FCB, sino que también adopta oficialmente el formato FAT y utiliza una gran cantidad de operaciones de manejo de archivos con características UNIX.
DOS 2.11 de marzo de 1984, como versión OEM principal, corrigió los errores de la versión 2.01 y agregó soporte internacional para idiomas distintos del inglés y sus formatos de archivo.
MS-DOS 2.25 de octubre de 1985, admite conjuntos de caracteres extendidos adicionales (japonés y coreano) y corrige errores en versiones anteriores.
MS-DOS 3.0 1984 se lanzó en agosto, PC/AT, que puede admitir disquetes de 1,2 MB y agregar discos duros de gran capacidad.
MS-DOS 3.1 1984 Noviembre, se agregó soporte de red para Microsoft.
MS-DOS 3.2 1986 65438 Octubre, agregó soporte mejorado para disquetes de 3,5 pulgadas y comenzó a utilizar hardware EMS a través del controlador. Taiwan Acer Computer, con el apoyo del comité de políticas y la asociación, cooperó con Microsoft para desarrollar chino basado en DOS3.2 que cumple con el estándar CMEX
MS-DOS3.3 En agosto de 1987, fue revisado Después de algunos errores internos, la adición de muchos comandos externos para el procesamiento de archivos y el comienzo del soporte para disquetes, DOS 3.3 se convirtió en la versión más estable y más vendida en ese momento. Se puede decir que es la segunda revisión importante de DOS 4.0, lanzada un año después y que ni siquiera fue tan popular como la 3.3. Después de 3.x, el traductor literal interno de BASIC se cambió gradualmente de BASICA a GW-BASIC para mejorar las capacidades de dibujo. En ese momento, ETBASIC, que admite el modo de dibujo chino, fue desarrollado por Et-day Company sobre la base de la versión anterior de BASICA, y casi se convirtió en el equipo estándar para aprender el idioma BASIC en Taiwán en ese momento. La parte más importante de los comandos externos es la adición de XCOPY y append, lo que mejora las capacidades de administración de archivos que se necesitaban desde hace mucho tiempo.
MS-DOS 4.0 Computadora MS-DOS 4.0 65438 Junio de 0988 se basa principalmente en el código base de IBM, no en el código base de Microsoft. Con el soporte de un disco duro con una capacidad máxima de 2 GB, la introducción de EMM (simulación de software EMS) y la nueva tecnología de memoria XMS estándar permite que el sistema operativo DOS utilice más de 1 MB de memoria. Comience a usar DOSSHELL. DOSSHELL puede considerarse como la interfaz GUI de DOS, con la capacidad de cambiar las operaciones del programa.
MS-DOS 4.01 1988 65438 febrero, solucionó una serie de errores en la versión anterior.
MS-DOS 5.0 de junio de 1991, la tercera revisión importante, también puede ser la revisión más importante en la historia de DOS. Esta versión hereda las mejoras de administración de memoria en 4.0 y es la versión más estable y popular de la especificación EMM. También agrega muchos programas de administración de memoria, como EMM386, MEM, etc.
Para coordinarse bien con Windows, también hizo que la administración de memoria de DOS fuera una dirección en la que muchos software en ese momento estaban ansiosos por cooperar y mejorar. Cómo configurar la memoria de DOS se ha convertido en un tema candente. El traductor literal de BASIC se cambió a QBASIC, una versión simple de QuickBASIC. El editor de texto incorporado se cambió del editor de línea original EDLIN al editor de pantalla completa EDLIN (en realidad, solo agregó un parámetro más a QBASIC. EXE). Reduzca la necesidad de comandos externos de la versión y, finalmente, agregue capacidades como DOSKEY, UNDELETE, formato rápido y UNFORMAT. También cabe mencionar que esta versión de CONFIG. SYS permite varias opciones.
MS-DOS 6.0, marzo de 1993, agregó muchos comandos externos sofisticados. Se agregó el probador del sistema MSD. Se empezó a utilizar la tecnología de disco de compresión DoubleSpace y se empezó a incorporar el software antivirus VSAFE y MSAV de Microsoft. La red comenzó a agregar soporte para líneas de transmisión LL5. Para discos, se agregaron DEFRAG y SMARTDRV. En términos de gestión de archivos, el lujoso MSBACKUP ha sustituido a Yangchun Backup y finalmente se han añadido las utilidades DELTREE y MOVE. Comenzó oficialmente a admitir unidades ópticas. Se agregó el optimizador de configuración MEMMAKER a la administración de memoria.
MS-DOS 6.2 1993 165438 En octubre, DoubleSpace pasó a llamarse DrvSpace.
MS-DOS 6.21 de febrero de 1994
MS-DOS 6.22 de junio de 1994, última versión comercial. Guo Qiao (KC) recibió autorización de Microsoft e IBM para lanzar su propio DOS 7.0 utilizando el sistema chino KC.
MS-DOS 7.0 Agosto de 1995, la versión con Windows 95 admite nombres de archivos largos.
MS-DOS 7.1 de agosto de 1996, se agregó soporte para discos duros grandes y particiones FAT32.
En septiembre de 2000, MS-DOS 8.0, la última versión de DOS 2000, canceló algunas funciones, como dejar de admitir comandos SYS y operaciones de impresora.
[2] Software que se ejecuta bajo DOS.
Debido a que DOS es la principal plataforma compatible con PC, existen muchos programas conocidos escritos para DOS. Estos incluyen:
Lotus 1-2-3; un conjunto de software de hoja de cálculo ampliamente utilizado en el mercado empresarial. Considerado por muchos como el principal motivo del éxito del ordenador personal de IBM.
WordPerfect es un conjunto de editores de texto disponibles actualmente en la plataforma Windows.
dBase es uno de los primeros software de bases de datos.
Software de comunicaciones Telix Modem
Arachne; versión DOS del navegador web.
Ddjgpp, una versión portada para DOS de gcc
4DOS, un software que reemplaza la interfaz de línea de comandos original.
El entorno de desarrollo integrado de Borland incluye Turbo Pascal, Turbo BASIC, Turbo C y Turbo Assembler.
RemoteAccess, Spitfire, Maximus, McBBS y TAG son software para configurar tableros de anuncios electrónicos (BBS) de acceso telefónico.
Herramientas básicas del lenguaje BASICA y GW-BASIC.
Muchos shooters en primera persona: Headquarters 3D desarrollado conjuntamente por Id Software y Apogee Software (posteriormente rebautizado como 3D Realms; Doom and Quake); Identity Recognition Software; 3D Nuke Duke, Shadow Warrior y 3D Realms Trio; de. Los tres conjuntos de juegos desarrollados por 3D Realms utilizan el "Build Engine" en DOS.
El autor del motor de construcción es Ken Silverman, y el motor también se utiliza en el juego Ken's Maze de Silverman.