Formal analysis of DNSSEC protocol by M. Sanjeva Reddy; supervised by Vineet Padmanabhan Nair
Sanjeva Reddy, Manchala| Call Number | PR001.535 Sa58F |
| Author | Sanjeva Reddy, Manchala |
| Title | Formal analysis of DNSSEC protocol by M. Sanjeva Reddy; supervised by Vineet Padmanabhan Nair |
| Publication | Hyderabad: University of Hyderabad, 2012. |
| Physical Description | 49p. |
| Notes | Project Report (M.Tech) - Department of Computer & Information Sciences - School of Mathematics, Computer & Information Sciences - University of Hyderabad - Hyderabad - 500046 - A.P - INDIA |
| Added Author | Nair, Vineet Padmanabhan; supervisor |
| Subject | ARTIFICIAL INTELLIGENCE - PROJECT REPORT |
Total Ratings:
0
00915nam a2200205 a 4500
001
vtls001546092
003
VRT
005
20181113101200.0
008
131003 m 000 0 eng d
039
9
$a 201811131012 $b thirupathi $c 201310291639 $d prasanna $y 201310031229 $z sinu
082
$a PR001.535 $b Sa58F
100
1
$a Sanjeva Reddy, Manchala
245
1
$a Formal analysis of DNSSEC protocol $c by M. Sanjeva Reddy; supervised by Vineet Padmanabhan Nair
260
$a Hyderabad: $b University of Hyderabad, $c 2012.
300
$a 49p.
500
$a Project Report (M.Tech) - Department of Computer & Information Sciences - School of Mathematics, Computer & Information Sciences - University of Hyderabad - Hyderabad - 500046 - A.P - INDIA
650
0
$a ARTIFICIAL INTELLIGENCE - PROJECT REPORT
700
1
$a Nair, Vineet Padmanabhan; supervisor
999
$a VIRTUA40
999
$a VTLSSORT0080*0820*1000*2450*2600*3000*5000*6500*7000*9992
No Reviews to Display
| Notes | Project Report (M.Tech) - Department of Computer & Information Sciences - School of Mathematics, Computer & Information Sciences - University of Hyderabad - Hyderabad - 500046 - A.P - INDIA |
| Subject | ARTIFICIAL INTELLIGENCE - PROJECT REPORT |