The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Interface automaton is a promising approach to model the temporal behaviors of system components, and its extension has been used to specify the security properties of component based systems. Currently, the formal properties of interface automata have not be certified with machine-checked proof by any proof assistant. In this work, we propose a Coq-library of interface automata which is developed...
Since web services intended for the same application environment tend to be functionally homogeneous, researchers have turned to their non-functional aspects in order to constructively compare web services and choose an appropriate one. In general, quality of service is very important to users. Many schemes that consider quality assessment have been proposed for web service selection. With the increasing...
Time constrained service composition raises several problems. Researches on QoS-driven service composition provide some preliminary solutions, but there are still some unsolved issues, which can be attributed to the following reasons: (1) the huge time consumption of inter-domain validation, (2) the dynamic execution time of services and (3) the difficulty in defining time constraint due to the opaque...
This paper proposes a new development mode of trust E-commerce services based on NGN techniques. This mode combines Parlay Web Service and PKI, PMI. The service interface of Parlay Web Service gateway realizes the fast development and deployment of trust services. The Framework Interface supported by PKI and PMI realizes the unified control and management of trust services. UDDI registration module...
Web services over the Internet are widely used nowadays. The problem of secure access to Web-based systems is of great importance naturally. Compared with the existing models, the action-based access control (ABAC) model is the most suitable to control the access on Web services. In this paper, the ABAC model is introduced. Then, the security architecture of ABAC for Web services is proposed. In the...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.