Diaz-Santiago S.,Escuela Superior de Computo |
Rodriguez-Henriquez L.M.,Research Center en Computacion |
Chakraborty D.,Av. IPN
International Journal of Information Security | Year: 2016
Payments through cards have become very popular in today’s world. All businesses now have options to receive payments through this instrument; moreover, most organizations store card information of its customers in some way to enable easy payments in future. Credit card data are a very sensitive information, and theft of this data is a serious threat to any company. Any organization that stores credit card data needs to achieve payment card industry (PCI) compliance, which is an intricate process where the organization needs to demonstrate that the data it stores are safe. Recently, there has been a paradigm shift in treatment of the problem of storage of payment card information. In this new paradigm instead of the real credit card data a token is stored, this process is called “tokenization.” The token “looks like” the credit/debit card number, but ideally has no relation with the credit card number that it represents. This solution relieves the merchant from the burden of PCI compliance in several ways. Though tokenization systems are heavily in use, to our knowledge, a formal cryptographic study of this problem has not yet been done. In this paper, we initiate a study in this direction. We formally define the syntax of a tokenization system and several notions of security for such systems. Finally, we provide some constructions of tokenizers and analyze their security in light of our definitions. © 2016 Springer-Verlag Berlin Heidelberg
Aguilar-Ibanez C.,CIC |
Mendoza-Mendoza J.A.,CINVESTAV |
Martinez J.C.,SEPI |
De Jesus Rubio J.,Escuela Superior de Computo |
International Journal of Robust and Nonlinear Control | Year: 2015
A solution to the stabilization problem of a compact set by means of the Interconnection and Damping Assignment Passivity-Based Control methodology, for an affine nonlinear system, was introduced. To this end, we expressed the closed-loop system as a Port Hamiltonian system, having the property of almost all their trajectories asymptotically converge to a convenient limit set, except for a set of measure zero. It was carried out by solving a partial differential equation (PDE) or single matching condition, which allows the desired energy level or limit set E to be shaped explicitly. The control strategy was tested using the magnetic beam balance system and the pendulum actuated by a direct current motor (DC-motor), having obtained satisfactory results. Copyright © 2014 John Wiley & Sons, Ltd.
Aguilar-Ibanez C.,Research Center en Computacion |
Suarez-Castanon M.S.,Escuela Superior de Computo |
Cruz-Cortes N.,Research Center en Computacion
Nonlinear Dynamics | Year: 2012
In this work, we present an output feedback stabilization method for the Inverted Pendulum Cart (IPC) system around its unstable equilibrium point. The pendulum is initialized in the upper-half plane, and the position of the cart and the pendulum angular positions are always available. Our strategy was accomplished introducing a suitable coordinate change to obtain a nonlinear version of the original system, which is affine in the unmeasured velocities state. This fact allows us to adapt an observer based controller devoted to render the closed-loop system to the origin. The proposed observer based controller was designed using the direct Lyapunov method. This allows estimating the corresponding attraction domain for the whole system, which can be as large or as small as desired. While the corresponding closed-loop stability analysis was made using the LaSalle Invariance Theorem. Convincing numerical simulations were included to show the performance of the closed-loop system. © 2012 Springer Science+Business Media B.V.
Martinez-Gonzalez C.L.,National Polytechnic Institute of Mexico |
Mendizabal Navarro J.,Escuela Superior de Computo |
Plascencia Alvarez N.I.,Centro Medico Nacional 20 Of Noviembre
HEALTHINF 2015 - 8th International Conference on Health Informatics, Proceedings; Part of 8th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2015 | Year: 2015
Personal health care technologies in chronic diseases face the challenge to design holistic approaches where health care involves not only the medical specialist for treatment and monitoring, but the patient and the family. Epilepsy is a term used for a group of chronic disorders with diverse etiology characterized by recurrent seizures, caused by an abnormal electrical activity in the brain. Treatment monitoring requires continuous collaboration of the patient and the family to register manually a diary of activities, seizures, seizures triggers and symptoms associated to medication in order to reach optimal therapy. Patients with non-controlled seizures and their families have to deal with a restricted quality of life: the patient is exposed to physical risks when seizures appear under any circumstance and place. In this paper a remote patient treatment monitoring and warning system framework design based on mobile technology is proposed, with multiple input, seizure detection with a smartphone accelerometer, automatic and manual seizure warning and location of the patient through GPS and a social support network. This design approach is patient-and family-centred, as they are the source of individual information in a particular environment, condition and treatment response. It also represents a first proposal of a potential ubiquitous health care system through a wearable device.
Sambarino M.J.C.,National Polytechnic Institute of Mexico |
Mosqueda M.E.A.,Escuela Superior de Computo |
Duran F.F.,Escuela Superior de Ingenieria MecanicayElectrica
International Journal of Engineering Education | Year: 2014
Virtual environments are head-referenced computer displays that give users the illusion of displacement to another location. They have potential uses in applications ranging from education and training to design and prototyping. In this paperavirtual visitat Palaciode Bellas Artesin Mexico is described. The Palacio de Bellas Artesisthe biggest and the most important cultural center in Mexico City which has halls for exposing pictorial and sculptural works and it shelters the National Theater and the National Museum of Architecture. The interior of the buildingis decorated with murals painted by the most prominent Mexican artists. The whole place is a place of culture. The application is educational software developed by computer engineers that allows users to visit this cultural place from any part of the world. The modeling of the building is accomplished by the use of three-dimensional techniques and online services. The virtual visit is not panoramic and the user can get around the scenarios that have a texture that allows the virtual world to be more real, therefore, the view is more attractive to the visitors. The software is an important contribution for education because it allows the knowledge of one of the most important cultural contents in the world via Internet. © 2014 TEMPUS Publications.