To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
A Novel Secure Authenticated Key Exchange Protocol for Wireless Sensor Networks |
|
Author |
|
| Citation |
Vol. 12 No. 12 pp. 136-140 |
|
Keywords |
Cryptography, sensor networks, key exchange protocol, perfect forward secrecy, self-organizing |
|
Title |
|
|
Author |
|
| Citation |
Vol. 12 No. 12 pp. 129-135 |
|
Keywords |
Estelle specification, first order predicates, alternating bit protocol |
|
Title |
Creation and Static Verification of Extended Automata Knowledge Base |
|
Author |
|
| Citation |
Vol. 12 No. 12 pp. 121-128 |
|
Keywords |
Extended automata, knowledge base, static verification, decision table |
|
Title |
Use of Labview Software for Measuring the Change of Surface Potential of Thin Dielectric Layers |
|
Author |
Justinas Jurk?us, Tadeu? Lozovski, Miroslav ?eibak, Germanas Budnikas |
| Citation |
Vol. 12 No. 12 pp. 115-120 |
|
Keywords |
LabView, Real Time Monitoring and Control, Method of Dosed Charging |
