Towards Systematic Specification of Non-Functional Requirements for Sharing Economy Systems

Symeonidis, Iraklis; Schroers, Jessica; Mustafa, Mustafa; Biczók, Gergely

doi:10.1109/dcoss.2019.00086

Cited by 8 publications

(6 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Using mac() with [ K u c tag ] and [BD u o ,u c ] as inputs, each S i creates an authentication tag [AuthTag BD uo,uc ]. 4 Prior to posting on the PL, the VSSP servers utilize open([AuthTag BD uo,uc ]) to reconstruct 4 Recall that…”

Section: Hermes Operations In Four Stepsmentioning

confidence: 99%

See 1 more Smart Citation

HERMES: Scalable, Secure, and Privacy-Enhancing Vehicular Sharing-Access System

Symeonidis

Rotaru²,

Mustafa

et al. 2022

IEEE Internet Things J.

Self Cite

View full text Add to dashboard Cite

We propose HERMES, a scalable, secure, and privacy-enhancing system for users to share and access vehicles. HERMES securely outsources operations of vehicle access token (AT) generation to a set of untrusted servers. It builds on an earlier proposal, namely, SePCAR, and extends the system design for improved efficiency and scalability. To cater to system and user needs for secure and private computations, HERMES utilizes and combines several cryptographic primitives with secure multiparty computation (MPC) efficiently. It conceals secret keys of vehicles and transaction details from the servers, including vehicle booking details, AT information, and user and vehicle identities. It also provides user accountability in case of disputes. Besides, we provide semantic security analysis and prove that HERMES meets its security and privacy requirements. Last but not least, we demonstrate that HERMES is efficient and, in contrast to SePCAR, scales to a large number of users and vehicles, making it practical for real-world deployments. We build our evaluations with two different MPC protocols: 1) HtMAC-MiMC and 2) CBC-MAC-AES. Our results demonstrate that HERMES is in the range of milliseconds for generating an AT, whether it operates for a single-vehicle owner or a large rental-company branch with over 1000 vehicles; handling 546 and 84 AT generations per second, respectively. As a result, HERMES is an order of magnitude faster compared to SePCAR. Specifically, it delivers 696 (with HtMAC-MiMC) and 42 (with CBC-MAC-AES) more ATs compared to in SePCAR for a single-vehicle owner AT generation. Furthermore, we show that HERMES is practical on the vehicle side, too, as AT operations performed on a prototype vehicle on-board unit take only ≈ 62 ms.

show abstract

Section: Hermes Operations In Four Stepsmentioning

confidence: 99%

“…V EHICLE sharing is an emerging smart mobility service leveraging intelligent transport systems (ITSs) and connectivity to enable users to share their vehicles with others [2]- [4]. Users can book in advance and access a vehicle, where digital keys naturally replace the physical ones.…”

Section: Introductionmentioning

confidence: 99%

HERMES: Scalable, Secure, and Privacy-Enhancing Vehicular Sharing-Access System

Symeonidis

Rotaru²,

Mustafa

et al. 2022

IEEE Internet Things J.

Self Cite

View full text Add to dashboard Cite

show abstract

“…The anonymity could be considered as a reward for users to go through the registration process. As rewarding transactions take place on a blockchain system to which participants are all connected, they can easily investigate the fairness of the share, thus, trust is ensured [19,20]. Further information regarding how this works will be demonstrated in section 5.…”

Section: Bountymentioning

confidence: 99%

DSurvey: A Blockchain-Enhanced Survey Platform for the Data Economy

Bonti¹,

Saini²,

Pham³

et al. 2021

Computer Science &Amp; Information Technology (CS &Amp; IT)

View full text Add to dashboard Cite

The data economy is predicted to boom and become a 156B dollars business by 2025. In this demo we introduce the use of distributed ledger technologies (DLT) applied to digital surveys in order to create an ecosystem where data becomes a central piece of a complex economy. Our system allows for interesting key features; ownership, traceability, secure profiles, and anonymity where required. Also, the most important feature, is the incentive mechanism that rewards all participants, both users creating surveys and those answering the surveys. DSurvey (decentralized survey) is a novel application framework that aims at moving away from the large commercial data sink paradigm whose business is restricted to gathering data and reselling it. Our solution makes so that no central data sink exists, and it always belongs to the creator, who are able to know who is using it, and receive royalties.

show abstract

“…Such data is highly privacy sensitive as it could reveal users' daily activities [6]. Existing work already highlighted the privacy risks in local electricity markets [7] (and SE systems in general [8]), however, the analysis has only focused on a generic, rather high-level, market without taking into account any emerging new roles in such markets.…”

Section: Introductionmentioning

confidence: 99%

Sharing Economy in Future Peer-to-peer Electricity Trading Markets: Security and Privacy Analysis

Montakhabi¹,

Madhusudan²,

Graaf³

et al. 2020

Proceedings 2020 Workshop on Decentralized IoT Systems and Security

Self Cite

View full text Add to dashboard Cite

This paper performs business, security and privacy analysis of emergent (peer-to-peer) electricity trading markets where individual users (via smart meters) can trade electricity with other users and market players in a (semi-)decentralised manner. Firstly, a high-level overview of future electricity markets is presented, and a comprehensive explanation is offered concerning the evolution of the current (and future) actors regarding their roles. Secondly, business model matrix analysis is deployed to develop and discuss in detail four scenarios based on customers' information ownership and citizens' level of involvement. Lastly, an analysis of security and privacy threats is performed which leads to a specification of necessary requirements to mitigate such threats. This paper provides and serves as a benchmark for risk assessment and future design of secure peer-to-peer electricity trading markets.

show abstract

Towards Systematic Specification of Non-Functional Requirements for Sharing Economy Systems

Cited by 8 publications

References 24 publications

HERMES: Scalable, Secure, and Privacy-Enhancing Vehicular Sharing-Access System

HERMES: Scalable, Secure, and Privacy-Enhancing Vehicular Sharing-Access System

DSurvey: A Blockchain-Enhanced Survey Platform for the Data Economy

Sharing Economy in Future Peer-to-peer Electricity Trading Markets: Security and Privacy Analysis

Contact Info

Product

Resources

About