Other Publication Details

Mandatory Fields

Publication Subcategory

Other Items Published

Authors

Newe, T

Year

2003

Month

June

Article Title

A Formal Logic for the Verification of Hybrid Security Protocols and its Appliation

Researcher's Role

Status

Published

Peer Reviewed

0

Times Cited

()

Optional Fields

Search Keyword

Short Description

Abstract

PhD Research Thesis

Publisher Location

Publisher

Editors

ISBN / ISSN

Edition

URL

Start Page

End Page

DOI Link

Grant Details

Funding Body

Grant Details