Abstract: An enterprise system with secure wireless messaging includes an application service to process a message. The enterprise system also includes a security service that uses a cryptographic technique to transform between the message and a secure message that is based on the message. A communication service communicates the secure message with a mobile client using a public network. The message may be secured using a cryptographic technique to provide end-to-end security. The enterprise system also may include an information service including information indicating occurrence of a triggering event. The information indicating occurrence of a triggering event may cause the enterprise system to push a secure message to the mobile client.

Abstract: In a method for verifying the safety properties of Java byte code programs, the functioning of the byte code program to be verified is modeled on a finite state transition system M, and the state space of the Java Virtual Machine (JVM) on a finite set of states in M. Once entered into a model checker, the data of finite state transition system M are compared to the data entered in the model checker as conditional set S to determine properties characterizing an acceptable byte code program. The byte code program to be checked is released for further processing only when the state transition system M fulfills all conditions of conditional set S.

Abstract: An enterprise system with secure wireless messaging includes an application service to process a message. The enterprise system also includes a security service that uses a cryptographic technique to transform between the message and a secure message that is based on the message. A communication service communicates the secure message with a mobile client using a public network. The message may be secured using a cryptographic technique to provide end-to-end security. The enterprise system also may include an information service including information indicating occurrence of a triggering event. The information indicating occurrence of a triggering event may cause the enterprise system to push a secure message to the mobile client.

Abstract: The invention relates to a card terminal (1) and to a method for operating a card terminal (1) for a card (7) comprising at least one card function (12, 13, 14) and a non-volatile storage (11). According to the invention, the card terminal (1) firstly determines the card function via a device (5) and, according to the card function, a data processing device (2) of the card terminal (1) is subsequently configured with regard to the software.

Abstract: A device for using a service that is made available in a telecommunications network. A user-side terminal (3) can be connected to at least one network server (1), and a control device (5) executes an interface program. The control device (5) is assigned to the terminal (3) and is used for controlling and operating the service. The interface program, before the service is used, is transmitted by the network server (1) to the control device (5). Also provided is a method for using a service made available in a telecommunications network, the user interface being transmitted from the network server (1) to the control device (5) and being executed there.