Ta, Vinh Thong and Dvir, Amit and Buttyán, Levente (2014) Formal Security Verification of Transport Protocols for Wireless Sensor Networks. In: Advanced Computational Methods for Knowledge Engineering, 2014.05.08-2014.05.08, Budapest.
|
Text
TaDvirButtyanICCSAMA2014.pdf Download (403kB) | Preview |
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | MTMT: 2746060 In.: Advanced Computational Methods for Knowledge Engineering. Springer, 2014. Konferencia helye, ideje: Budapest, Magyarország, 2014.05.08.-2014.05.08. |
| Subjects: | T Technology / alkalmazott, műszaki tudományok > T2 Technology (General) / műszaki tudományok általában |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 24 Feb 2015 15:25 |
| Last Modified: | 24 Feb 2015 15:25 |
| URI: | http://real.mtak.hu/id/eprint/22033 |
Actions (login required)
 |
Edit Item |
