On Distributed Security Transactions that Use Secure Transport Protocols

On Distributed Security Transactions that Use Secure Transport Protocols

Bibliographic Details
Main Authors:	Broadfoot, P, Lowe, G
Format:	Conference item
Published:	IEEE 2003

Similar Items

Architectures for Secure Delegation Within Grids
by: Broadfoot, P, et al.
Published: (2003)

Proving security protocols with model checkers by data independence techniques
by: Roscoe, A, et al.
Published: (1999)

Blockchain-Based Transaction Validation Protocol for a Secure Distributed IoT Network
by: A. S. M. Sanwar Hosen, et al.
Published: (2020-01-01)

Analysing Security Protocols using CSP
by: Lowe, G
Published: (2011)

Security Constrained Distributed Transaction Model for Multiple Prosumers
by: Haiteng Han, et al.
Published: (2024-01-01)

A Novel NFC-Based Secure Protocol for Merchant Transactions
by: Shaik Shakeel Ahamad
Published: (2022-01-01)

Secure asset transaction using blockchain
by: Parkar Saarabi, et al.
Published: (2022-01-01)

Analysing a Stream Authentication Protocol Using Model Checking
by: Broadfoot, P, et al.
Published: (2002)

A Novel Protocol For Enhancing The Security Of Electronic Transaction Using Gsm Authentication
by: Abu Bakar, Kamalrulnizam, et al.
Published: (2006)

Specifying Secure Transport Layers
by: Dilloway, C, et al.
Published: (2008)

Specifying secure transport layers
by: Dilloway, C, et al.
Published: (2008)

Modelling and analysis of security protocols
by: Ryan, P, et al.
Published: (2001)

Modelling and Analysis of Security Protocols
by: Ryan, P, et al.
Published: (2001)

The Modelling and Analysis of Security Protocols
by: Roscoe, A, et al.
Published: (2001)

An Authentication Method for Secure Internet Transaction Using Smart Card and Secure Coprocessor
by: Ayad, Mustafa Abdsalam
Published: (2002)

Safe Simplifying Transformations for Security Protocols
by: Hui, M, et al.
Published: (1999)

Casper: A Compiler for the Analysis of Security Protocols
by: Lowe, G
Published: (1998)

Some new attacks upon security protocols
by: Lowe, G
Published: (1996)

Casper: A Compiler for the Analysis of Security Protocols
by: Lowe, G
Published: (1997)

Analyzing a Library of Security Protocols using Casper and FDR
by: Donovan, B, et al.
Published: (1999)

A Critical Survey of Grid Security Requirements and Technologies
by: Broadfoot, P, et al.
Published: (2003)

A Formal Model of Distributed Security for Electronic Commerce Transactions Systems
by: Sylvanus A. Ehikioya, et al.
Published: (2019-04-01)

A Framework to Create a Certificate for e-Commerce Secure Transaction Protocol
by: Nasrin Alishirvani
Published: (2017-03-01)

Issues of the Use of Intermediated Securities in Cross-Border Transactions
by: Tomáš Kirner
Published: (2023-04-01)

Secure Digital Transactions in The Education Sector Using Blockchain
by: Muhammad Nouman, et al.
Published: (2022-03-01)

Fault−Preserving Simplifying Transformations for Security Protocols
by: Hui, M, et al.
Published: (2001)

Grid Security: Requirements and Technologies A Survey of the State−of−the−art
by: Broadfoot, P, et al.
Published: (2003)

Security constrained decentralized peer-to-peer transactive energy trading in distribution systems
by: Lingling Wang, et al.
Published: (2022-01-01)

Securing customer trust in e-commerce transactions /
by: 592610 Muhammad Bello Mai, et al.
Published: (2012)

Securing Land Transactions with Biometric data in Ghana
by: Samuel Boamah Asiedu
Published: (2020-05-01)

Security of business transactions in the light of inaccurate documentation
by: Wojciech Jakubiec
Published: (2021-12-01)

Research on Data Transaction Security Based on Blockchain
by: Yongbo Jiang, et al.
Published: (2022-11-01)

Transactions Security Tools in Account Receivables Management
by: Anna Wodyńska
Published: (2008-03-01)

Notary: a device for secure transaction approval
by: Athalye, Anish, et al.
Published: (2020)

Secure transactions over the internet for electronic commerce
by: Zhao, Feng.
Published: (2008)

Towards a Completeness Result for Model Checking of Security Protocols
by: Lowe, G
Published: (1999)

Towards a Completeness Result for Model Checking of Security Protocols
by: Lowe, G
Published: (1998)

Data independent verification of crypto−protocols
by: Roscoe, A, et al.
Published: (2000)

Financial transaction cards - security architecture of financial transaction systems using integrated circuit cards
by: 8096 British Standards Institution
Published: (1991)

Bitcoin cryptocurrency transaction system using secure electronic wallet /
by: Ng, Hui Li, 1991- , author, et al.
Published: (2015)