Linearizability With Ownership Transfer

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-9(3:12)2013
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

RFID Tag Ownership Transfer Protocol With Backtracking Authorization Ability

Information Technology Journal
2013English

Simplifying Linearizability Proofs With Reduction and Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Mobile RFID Mutual Authentication and Ownership Transfer

International Journal of Advancements in Computing Technology
2012English

Aspect-Oriented Linearizability Proofs

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Untraceable Analysis of Lightweight RFID Ownership Transfer Protocol

International Journal of Future Generation Communication and Networking
Computer NetworksCommunications
2016English

TSO-to-TSO Linearizability Is Undecidable

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2017English

RFID Tag Dynamic Ownership Transfer Protocol Based on Lagrange of Multi-Owner With Different Weights

International Journal of Security and its Applications
Computer Science
2016English

Secure Group Ownership Transfer Protocol for Tags in RFID System

International Journal of Security and its Applications
Computer Science
2014English

On Linearizability of Strict Feedforward Systems

2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy