A security scheme for resource sharing over a network

Authors:
John Burns;Chris J. Mitchell
Affiliations:
-;-
Venue:
Computers and Security
Year:
1990

Citing 0
Cited 4

A Formal Language for Cryptographic Protocol Requirements

Designs, Codes and Cryptography - Special issue dedicated to Gustavus J. Simmons
Slede: a domain-specific verification framework for sensor network security protocol implementations

WiSec '08 Proceedings of the first ACM conference on Wireless network security
Secure transaction protocol analysis: models and applications

Secure transaction protocol analysis: models and applications
Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract