Automatic Analysis of Secure Multicast Scheme Using Alloy
碩士 === 臺灣大學 === 電機工程學研究所 === 95 === At the present time, the secure multicast scheme analyze mostly by manual. But it considered comprehensive enough frequently. It can help us to develop a more secure multicast scheme by using the automatic tool. Alloy is a model language based on relation. It can...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
2007
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/31228846883781410829 |
| Summary: | 碩士 === 臺灣大學 === 電機工程學研究所 === 95 === At the present time, the secure multicast scheme analyze mostly by manual. But it considered comprehensive enough frequently. It can help us to develop a more secure multicast scheme by using the automatic tool.
Alloy is a model language based on relation. It can construct model of some behavior without mechanism, and modeling more efficient.
We use Alloy Analyzer to simulate and analyze the secure multicast scheme that use proxy encryption. These analyses display one flaw when consider the transmit delay. The analyzer suggests and checks some fixes. Then the result makes sure the secure multicast scheme to achieve the basic properties.
|
|---|