My Account | Careers | Downloads | Blog

PROJECT TITLE :

Pattern_Based Design and Verification of Secure Service Compositions - 2017

ABSTRACT:

Ensuring the preservation of security may be a key demand and challenge for Service-Primarily based Systems (SBS) due to the utilization of third party software services not operating under different security perimeters. In this paper, we tend to present an approach for verifying the safety properties of SBS workflows and adapting them if such properties aren't preserved. Our approach uses secure service composition patterns. These patterns encode proven dependencies between service level and workflow level security properties. These dependencies are employed in reasoning processes supporting the verification of SBS workflows with respect to workflow security properties and their adaptation in ways in which that guarantee the properties if necessary. Our approach has been implemented by extending the Eclipse BPEL Designer and validated experimentally. The experimental evaluation has produced positive results, indicating that even for advanced workflows and massive sets of secure service composition patterns verification will be performed efficiently.


Did you like this research project?

To get this research project Guidelines, Training and Code... Click Here

PROJECT TITLE : ESVSSE Enabling Efficient, Secure, Verifiable Searchable Symmetric Encryption ABSTRACT: It is believed that symmetric searchable encryption, also known as SSE, will solve the problem of privacy in data outsourcing
PROJECT TITLE :Design, Analysis, and Implementation of ARPKI: An Attack-Resilient Public-Key Infrastructure - 2018ABSTRACT:This Transport Layer Security (TLS) Public-Key Infrastructure (PKI) is based on a weakest-link security
PROJECT TITLE :Design, Evaluation and Application of Approximate High-Radix Dividers - 2018ABSTRACT:Approximate high radix dividers (HR-AXDs) are proposed and investigated during this paper. High-radix division is reviewed and
PROJECT TITLE :Hybrid Modulation Based Bidirectional Electrolytic Capacitor-less Three-phase Inverter for Fuel Cell Vehicles: Analysis, Design, and Experimental Results - 2017ABSTRACT:This paper presents a novel six-pulse low-frequency
PROJECT TITLE :Hybrid Modulation Based Bidirectional Electrolytic Capacitor-less Three-phase Inverter for Fuel Cell Vehicles: Analysis, Design, and Experimental Results - 2017ABSTRACT:This paper presents a unique six-pulse low-frequency

Ready to Complete Your Academic MTech Project Work In Affordable Price ?

Project Enquiry