-
Modeling and methodologies for the test of IMS services
Conformance testing is the process of checking that a system possesses a set of desired properties and behaves in accordance with some predefined requirements. In this... -
Two complementary approaches to detecting vulnerabilities in C programs
In general, computer software vulnerabilities are defined as special cases where an unexpected behavior of the system leads to the degradation of security properties... -
A symbolic approach for the verification and the test of service choreographies
Service-oriented engineering is an emerging software development paradigm for distributed collaborative applications. Such an application is made up of several... -
A trust framework for multi-organization environments
The widespread of inexpensive communication technologies, distributed data storage and web services mechanisms currently urge the collaboration among organizations....
