| Title: |
POSTER: Dynamic Labelling for Analyzing Security Protocols |
| Article URLs: |
|
| Alternative Article URLs: |
|
| Authors: |
N. V. Narendra Kumar |
-
Tata Institute of Fundamental Research Mumbai, INDIA, School of Technology and Computer Science
|
| R. K. Shyamasundar |
-
Indian Institute of Technology Mumbai, INDIA, Department of Computer Science
|
| Sharing: |
Unknown
|
| Verification: |
Authors have
not verified
information
|
| Artifact Evaluation Badge: |
none
|
| Artifact URLs: |
|
| Artifact Correspondence Email Addresses: |
|
| NSF Award Numbers: |
|
| DBLP Key: |
conf/ccs/KumarS15
|
| Author Comments: |
|