Mandatory Fields

Authors

Li, Y; Newe, T

Conference Title

2007 AUSTRALASIANTELECOMMUNICATION NETWORKS AND APPLICATIONS CONFERENCE

Title of Paper

On The Logical Verification of a Group Key Agreement Protocol for Resource Constrained Mobile Devices

Year

2007

Month

Status

Published

Peer Reviewed

Times Cited

()

Optional Fields

Search Keyword

network security group key agreement formal method modal logic wireless communication

Editors

Start Page

End Page

102

Location

Start Date

End Date

Abstract

Funded By

URL

DOI Link

Grant Details

Funding Body

Grant Details