Multiset rewriting and the complexity of bounded security protocols
- 期刊名称Journal of Computer Security
- 作者Durgin, Nancy; Lincoln, Patrick; Mitchell, John; Scedrov, Andre
- 卷第12卷
- 期第2期
- 印刷ISSN0926-227X
- 电子ISSN1875-8924
- 文件大小427.00KB
- 发表时间2004-02-01
- DOI10.3233/JCS-2004-12203
- 页码247-311
Infectious Complications after EsophagectomyNeoral, Cestmir; Horakova, Martina; Aujesky, Rene; Chudacek, Josef; Hanulik, Vojtech; Chroma, Magdalena; Kolar, Milan · Surgical Infections · 2012
Preclinical Sepsis Modelsvan der Poll, Tom · Surgical Infections · 2012
World Sepsis Day: September 13, 2012Barie, Philip S. · Surgical Infections · 2012
Preventive Systemic Antibiotics in Colorectal SurgeryFry, Donald E. · Surgical Infections · 2008
Risk Factors for Surgical Site InfectionCheadle, William G. · Surgical Infections · 2006
Postoperative FeverDionigi, Renzo; Dionigi, Gianlorenzo; Rovera, Francesca; Boni, Luigi · Surgical Infections · 2006
Cholera: Something Old, Something NewSigman, Michael; Luchette, Fred A. · Surgical Infections · 2012
Cytotoxicity of Liquid DisinfectantsSagripanti, Jose-Luis; Bonifacino, Aylin · Surgical Infections · 2000