Abstract: The invention relates to an integrated software development system 4, comprising an interface description language adapted to specify constraints on input parameters, a program analyzer 6 adapted to identify input parameters of a software program 7, and a validation enforcement system 5 adapted to enforce that an interface description 8 in the interface description language complying with a predefined set of validation rules 9 is provided for the input parameters of the software program 7. The invention further relates to a method for validation, a computer arrangement and a computer program product.

Abstract: One embodiment disclosed is a computer program with metadata management function. The computer program includes a basic program module and a metadata management module. The metadata management module includes intercept definition elements that define intercept points in the basic program module. The metadata management module further includes intercept instructions that define metadata operations to be performed when an intercept point occurs in the basic program module.

Abstract: A robust and secure password (or key) change method between a user and an authentication server in a distributed communication network is disclosed. The protocol requires the exchange of only two messages between the user desiring the key change and the server, the user's request including, at least partly encrypted, an identification of the sending user, old and new keys, and two nonces, at least one including a time indication. The authentication server's response includes a possibly encrypted accept/reject indication and the regularly encrypted request from the user.

Abstract: A method and system for providing secure authenticated cryptographic key distribution in a communication system having properties very similar to a Two-Party Authentication Protocol. A new group key is distributed by a server to a selected group of users in the system. A braided structure of the messages, sent by the server to each user, allows authentication and, at the same time, secure and secret key distribution. Moreover, the braided structure makes it possible to construct minimal-length protocol messages.