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 125
- Downloads 0
Agents- based Methodology for Wireless Sensor Networks
Nowadays, agents-based systems are widely used to solve many engineering problems. The characteristics of the agents-based approach enable them to be used for the wireless sensor networks (WSNs) successfully. The propose...
Channel Modeling of Human Somatosensory Nanonetwork: Body Discriminative Touch and Proprioception Perspective
Nanonetwork design and analysis has become a very interesting topic in recent years. Though this area of research is in its formative stage, it definitely posses a strong integrity in finding out numerous applications in...
Wide Area Network’s Reliability Redundancy Design Using Simulation
Reliability is the main characteristic to evaluate the performance of WAN's. The devices used in the network and their availability in the market make the network to give services without interruptions. Redundant network...
An Invisible Zero Watermarking Algorithm using Combined Image and Text for Protecting Text Documents
Authentication and copyright protection for digital contents over the Internet can be achieved through digital watermarking. The major components of the Internet are textual contents. Hence protection of plain text docum...
Implementation of Web-Based Chilli Expert Advisory System Using ABC Optimization Algorithm
The presently developed paper deals with the concepts of web based online expert systems and machine learning Algorithms in the field of Artificial Intelligence. An expert system follows the methodology of task-based spe...