Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Ratan K. Guha

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Zeeshan Furqan

> Home > Persons > Ratan K. Guha

Publications

2006
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/ACMse/MuhammadFG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ACMse/MuhammadFG06
Shahabuddin Muhammad, Zeeshan Furqan, Ratan K. Guha:
Understanding the intruder through attacks on cryptographic protocols. ACM Southeast Regional Conference 2006: 667-672
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icn/MuhammadFG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icn/MuhammadFG06
Shahabuddin Muhammad, Zeeshan Furqan, Ratan K. Guha:
Designing Authentication Protocols: Trends and Issues. ICN/ICONS/MCL 2006: 76
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icn/FurqanMG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icn/FurqanMG06
Zeeshan Furqan, Shahabuddin Muhammad, Ratan K. Guha:
Formal Verification of 802.11i using Strand Space Formalism. ICN/ICONS/MCL 2006: 140
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icon/MuhammadFG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icon/MuhammadFG06
Shahabuddin Muhammad, Zeeshan Furqan, Ratan K. Guha:
A Parameterized Analysis of Public-Key Protocols: Needham-Schroeder and Kerberos-5. ICON 2006: 1-6
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icon/MuhammadFG06a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icon/MuhammadFG06a
Shahabuddin Muhammad, Zeeshan Furqan, Ratan K. Guha:
Logic-Based Formal Analysis of Cryptographic Protocols. ICON 2006: 1-6
2005
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ipccc/MuhammadFG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipccc/MuhammadFG05
Shahabuddin Muhammad, Zeeshan Furqan, Ratan K. Guha:
Wireless sensor network security: a secure sink node architecture. IPCCC 2005: 371-376
2004
[c10]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icete/FurqanGM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icete/FurqanGM04
Zeeshan Furqan, Ratan K. Guha, Shahabuddin Muhammad:
A Heuristic State Space Search Model for Security Protocol Verification. ICETE (2) 2004: 113-118

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.