Suoritettu

Phd Proposal

TOPIC- VeriOSS: A Blockchain for Open Source Software Verification

Abstract

The Software Supply Chain (SSC) is a cornerstone of the industrial society on which many other Supply Chains (SCs) depend. The continuous demand/integration of the computing systems into SCs is pushing the development and distribution of software. To cope with this growing request many companies are including open source software (OSS) in their software products. OSS has many advantages, for example, it prevents that the software producer does not acquires a strong bargaining position on the consumer. However, the flip side is that the producer of a OSS has no obligation to maintain, improve or fix her software. All in all, the OSS ranges from small scale projects, with limited or even no security plan, to community projects that release periodic security updates. Such heterogeneity makes it difficult to understand the actual risks when one wants to integrate a OSS in his project. From a methodological point of view, the project aims at answering the following questions: (i) what are the conditions to make the formal verification a valuable asset in the SSC? (ii) can we design a mechanism based on economic rewards that push participant to find and fix bugs in OSS software? (iii) can the blockchain technology be used to implement a decentralized framework for the formal verification of security properties of OSS? From a practical point of view, the project aims at designing and implementing a blockchain service for the security analysis and patching of the OSS, where developers and security analysts cooperate efficiently.

Keywords

Formal methods, software verification, blockchain, DLT, contract-driven development, mobile code security

no more than 10,000 characters

Taidot: Article Writing, Raportin kirjoittaminen, Tutkimus

Näytä lisää: english phd proposal example, phd proposal template doc, phd research proposal sample management, oxford phd proposal sample, short phd proposal example, phd research proposal examples social sciences, history phd proposal example, phd research proposal sample engineering, phd proposal real estate, phd proposal essay, writing phd proposal, phd proposal ready, phd proposal journalism, phd proposal law, phd proposal automation, economic based mmo, phd proposal economic, research proposal topic phd management, phd research proposal topic, phd proposal topic management

Tietoa työnantajasta:
( 0 arvostelua ) Lagos, Nigeria

Projektin tunnus: #18864745

Myönnetty käyttäjälle:

obegiedinah

Hi dear employer, I am a post graduate with master of business administration and at bachelor's level I did bachelor of commerce, I have prior experience in writing research thesis for both degree, masters and PhD stu Lisää

$100 USD 5 päivässä
(9 Arvostelua)
3.2

14 freelanceria on tarjonnut keskimäärin %project_bid_stats_avg_sub_26% %project_currencyDetails_sign_sub_27% tähän työhön

softechinfinites

Hello, I AM EXPERT PhD WRITER.I HAVE COMPLETED MANY PhD LEVEL RESEARCH PAPERS. I have 5 years experienced in Article Writing, Report Writing, Research and assure you the quality work on time as per your requirement Lisää

$150 USD 3 päivässä
(223 arvostelua)
6.6
MikeD21

Hello, You have just posted a project by requesting to write a 10000 characters PhD proposal. I am specializing in academic work - from undergraduate essays and dissertations, through MA and PhD theses, to journal ar Lisää

$250 USD 5 päivässä
(83 arvostelua)
6.2
swift555

I will be able to deliver high quality work within the given time frame. Hello Sir, I am eager to take the project , i will make sure to deliver it successfully, I have wide experience including but not limited to the Lisää

$428 USD 14 päivässä
(95 arvostelua)
6.3
sanjibsahanew

Hi I would like to work for you. I will provide highly credible and well-researched paper with my senior level experience. You may validate my profile which is also certified as “Preferred Freelancer” and the highe Lisää

$100 USD 5 päivässä
(59 arvostelua)
5.9
citijayamala

1. I am an expert in writing Phd proposals on A Block chain for Open Source Software Verification 2. Also an expert in Academic writing, research reports, essays and advance essays, dissertations. 3. Your project Lisää

$350 USD 3 päivässä
(70 arvostelua)
5.8
JawadIT

Hello. I myself is a research writer since 4 years and written over 20+ published papers for phD and Masters students. Although, i can share my samples and previous work. You can contact me for further discussion.

$200 USD 7 päivässä
(31 arvostelua)
5.0
writingorders365

Hey! You are looking for someone to writing PHD proposal and I’m well fit for this task. I have been working almost 3 years in the writing section. I can help you with this task. Please fell free to contact me so that Lisää

$100 USD 3 päivässä
(32 arvostelua)
5.0
articlewriter321

hi there, If you are looking for a reliable and resilient freelancer who will meet all your needs look no further. I have gone through the description of your project and I assure you that I am the right candidate for Lisää

$200 USD 3 päivässä
(7 arvostelua)
3.4
toff1

This is a thing that i have ever encounter become i studied economic as a course. and i will make it up to your taste.

$271 USD 2 päivässä
(0 arvostelua)
0.0
aminio8086

As a professional academic writer and a member of editorial board for different journal publications as well as a reviewer for IET, Sensors, IEEE and Nature journals, I provide high quality proofreading and reviewing s Lisää

$166 USD 3 päivässä
(0 arvostelua)
0.0
Aimee247

Hi there, The advancement of an offer and proposition is significant in persuading the customer that you have an arrangement satisfying the conditions sketched out. This is the place I come in. I am ready to take yo Lisää

$150 USD 3 päivässä
(1 arvostelu)
0.0
nmakash214

i do my work so carefully. Because I love my work. You believe me sir, i submit you work before the scheduled time & aslo do this work so much carefully Relevant Skills and Experience i have some experience on this Lisää

$100 USD 2 päivässä
(0 arvostelua)
0.0
ProjectsdealUK

Research questions and objectives This part indicates the questions whose answers the proposed research will seek as well as stating the goals of the PhD study. Literature Review It summarizes previous works relev Lisää

$500 USD 5 päivässä
(0 arvostelua)
0.0