Theses and Dissertations
Now showing items 1-1 of 1
An implementation of secure flow type inference for a subset of Java
(Monterey, California. Naval Postgraduate School, 1998-09)
Smart cards play an important role in a digital society. A smart card contains memory or an embedded microprocessor with the capability of enabling a wide variety of services, such as electronic cash in the case of memory ...