Secure Web Service Using Call by Contract
Journal Title: International Journal on Computer Science and Engineering - Year 2010, Vol 2, Issue 3
Abstract
A methodology for designing and composing services in a ecure manner. In particular, it’s concerned with safety roperties of service behavior. Services can enforce security olicies locally and can invoke other services that respect given security contracts. This call-by- contract mechanism offers a ignificant set of opportunities, each driving secure ways to ompose services. In this paper its discuss how we can orrectly plan service compositions in several relevant classes of services and security properties. With this aim, we propose a graphical modeling framework based on a foundational alculus called formalism features the dynamic and static emantics, thus allowing for formal reasoning about systems. tatic analysis and model checking echniques provide the esigner with useful information to assess and fix possible ulnerabilities Such as Web services, call-by-contract, nguagebased security, static analysis, system verification.
Authors and Affiliations
R. Ashitha
Keywords
Related Articles
- EP ID EP97259
- DOI -
- Views 131
- Downloads 0
AN EFFICIENT SUPER RESOLUTION TECHNIQUE FOR LOSS LESS COMPRESSED BAYER COLOUR FILTER ARRAY IMAGES
In digital cameras, Bayer color filter array(CFA) images are captured and demosaicing is carried out before compression. Recently, it was found that compression-first schemes outperform the conventional demosaicing-first...
Distance Based Fault detection in wirelesssensor network
Wireless Sensor Network (WSNs) have become a new information collection and monitoring solution for a variety of application. In WSN, sensor nodes have strong hardware and software restriction in terms of processing powe...
Performance Evaluation of IEEE 802.11b/n in Wireless Networks for QoS Improvement
The development of technology in the wireless communication domain has enhanced the need for power optimization schemes, because the battery technology has not kept up pace with the ever increasing growth of mobile devic...
Tracing and Straightening the Baseline in Handwritten Persian/Arabic Text-line: A New Approach Based on Painting-technique
In this research work, we propose to identify an imaginary line called baseline threading through the entire stretch of text-line, with reference to which the location of vertical extents of ersian characters could be a...
Power Saving Scheme (PSS) in Clusters of Heterogeneous ireless Sensor Networks
In this paper, we proposed a Power Saving Scheme (PSS) multi-hop sensor network using partition clusters. It avoids collision and idle listening time of sensor nodes for better overall network life time. The basic sensor...