Reasoning about DNSSEC

dc.contributor.author	Babu, Kollapalli Ramesh
dc.contributor.author	Padmanabhan, Vineet
dc.contributor.author	Bhukya, Wilson Naik
dc.date.accessioned	2022-03-27T05:51:47Z
dc.date.available	2022-03-27T05:51:47Z
dc.date.issued	2011-12-26
dc.description.abstract	This Paper outlines a logic based formal approach to represent and reason about the DNSSEC (Domain Name System Security Extensions) protocol. DNSSEC provides security services to the existing DNS protocol mainly through public key cryptography. But, it is well known that even the use of the most perfect cryptographic tools does not always ensure the desired security goals. This situation arises because of logical flaws in the design of protocols. Our aim is to represent and reason about DNSSEC protocol using the Modal Logic system SVO so as to derive the desired goals of the protocol. © 2011 Springer-Verlag.
dc.identifier.citation	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). v.7080 LNAI
dc.identifier.issn	03029743
dc.identifier.uri	10.1007/978-3-642-25725-4_7
dc.identifier.uri	http://link.springer.com/10.1007/978-3-642-25725-4_7
dc.identifier.uri	https://dspace.uohyd.ac.in/handle/1/8442
dc.subject	Knowledge Representation & amp; Reasoning
dc.subject	Modal Logic
dc.subject	Security Protocols
dc.title	Reasoning about DNSSEC
dc.type	Book Series. Conference Paper
dspace.entity.type

Now showing 1 - 1 of 1