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 129
- Downloads 0
Overcoming Testing Challenges in Project Life Cycle using Risk Based Validation Approach
According to James Whittake, Microsoft Testing Expert and Author, “There are a number of trends that testers are going to have to grapple with. The first is that software is getting better. The result of this is that bug...
Analysis of Maintainability Models for Object Oriented System
There is always has been a demand to provide efficient and effective high quality software. There are various maintainability objects to provide better maintainability. The quality of good software design heavily effecti...
An Efficient Protocol for Resource Constrained Platforms Using ECC
At present, most of e-commerce applications are developed using asymmetric cryptography to guarantee the authentication of the involved parties. On the other hand, a growing demand for mobile devices has geared a shift t...
Encoding And Decoding of a Message in the Implementation of Elliptic Curve Cryptography using Koblitz’s Method
Elliptic Curve Cryptography recently gained a lot of attention in industry. The principal attraction of ECC compared to RSA is that it offers equal security for a smaller bit size, thereby educing processing overhead. E...
Analysis of Selective Routing Strategies for Fault Tolerance In Wireless Sensor Networks
Wireless sensor networks are intended to have large number of sensor nodes which are widely deployed in a distributed environment. Steep increase in number of nodes, which is a deviant to WSN eventually, affects the comm...