Title | ||
---|---|---|
A Simpler Framework Based on the Applied Pi Calculus and Its Application to Electronic Cash Protocol |
Abstract | ||
---|---|---|
Clinical pathways are widely adopted by many large hospitals around the world in order to provide high-quality patient treatment and reduce the length and cost of hospital stay. However, nowadays most of them are static and non-personalized. Our objective ... |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/ISCSCT.2008.262 | ISCSCT (2) |
Keywords | Field | DocType |
electronic cash protocol,high-quality patient treatment,applied pi calculus,large hospital,hospital stay,simpler framework,clinical pathway,cryptographic protocol,pi calculus,electronic money,cryptography,mathematical model,protocols,security protocol,security,anonymity,calculus,operational semantics,cryptographic protocols,computer science | Operational semantics,Cryptographic protocol,Cryptography,Observational equivalence,Electronic cash,Theoretical computer science,Bisimulation,Anonymity,Mathematics,Semantics | Conference |
Citations | PageRank | References |
0 | 0.34 | 8 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Xiaojuan Cai | 1 | 36 | 5.95 |
Yuxin Deng | 2 | 413 | 30.41 |