Programar terminal Verifone

[gexdulage]

Hola, ¡qué tal!, ¿cómo programar una terminal verifone?, explico mi pregunta: necesito hacer una aplicación para tarjetas inteligentes (smart card), ésta aplicación se debe conectar con un servidor en particular para enviar y consultar información del cliente, el control de este sistema sera por medio de smart cards, las terminales POS que se van a emplear serán de la marca Verifone posiblemente el modelo VX 675.

Necesito saber de dónde descargo, sí es que hay un SDK para programar, IDE y sí es pocible la documentación útil para entender la topología de comunicación entre la terminal y el servidor.

Gracias, ojala y puedan contestar lo más pronto posible.