Il-gon Kim - Citegraph

Author Info

Name	Affiliation	Papers
IL-GON KIM	Korea Univ, Dept Comp Sci & Engn, Seoul 136701, South Korea	15
Collaborators	Citations	PageRank
18	24	5.91
Referers	Referees	References
49	147	79

Search Limit

100147

Publications (15 rows)

Collaborators (18 rows)

Referers (49 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems.	0	0.34	2014
Atomicity for P2P based XML Repositories	2	0.38	2007
Static verification of access control model for AXML documents	1	0.43	2007
Formal Verification Of Security Model Using Spr Tool	1	0.38	2006
Security and privacy analysis of RFID systems using model checking	0	0.34	2006
Secrecy Analysis of Purchase Transaction in Electronic Purses	0	0.34	2006
Application of model checking to AXML system's security: a case study	0	0.34	2006
Threat Evaluation Method for Distributed Network Environment	0	0.34	2006
Model Checking Of Radius Protocol In Wireless Networks	3	0.52	2005
Analysis of Security Protocols with Certificate over Open Networks: Electronic Payment System	0	0.34	2005
Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR	10	0.54	2005
Development Of Threat Evaluation Tool For Distributed Network Environment	1	0.37	2005
Model-Based analysis of money accountability in electronic purses	0	0.34	2005
Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking	6	0.59	2004
New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR	0	0.34	2004

1