| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4403757 | Procedia Environmental Sciences | 2011 | 7 Pages |
Abstract
We put forward an engineering realization method for security protocols. First, a formal description language for security protocols is designed. Then, a security protocol interpreter is designed, through which the corresponding objective code is generated with the description document as input. Analysis indicates that compared with the existing schemes our scheme has obvious advantages.
Related Topics
Life Sciences
Environmental Science
Ecology
