Rajashekar Kailar

Publication Activity (10 Years)

Years Active: 1991-2007
Publications (10 Years): 0

Publications

Rajashekar Kailar
A Security Architecture for Health Information Networks. AMIA (2007)
Rajashekar Kailar
Accountability in Electronic Commerce Protocols. IEEE Trans. Software Eng. 22 (5) (1996)
Rajashekar Kailar
Reasoning about accountability in protocols for electronic commerce. IEEE Symposium on Security and Privacy (1995)
Virgil D. Gligor, Rajashekar Kailar, Stuart G. Stubblebine, Li Gong
Logics for Cryptographic Protocols - Virtues and Limitations. CSFW (1991)
Rajashekar Kailar, Virgil D. Gligor
On Belief Evolution in Authentication Protocols. CSFW (1991)