10870 search results - page 265 / 2174 » Model Checking Programs |
162
click to vote
ECTEL
2007
Springer
15 years 10 months ago
2007
Springer
When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user's learning goals, that the curriculum i...
182
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
IEEE 802.1x and authentication server based security protocols are mainly used for enhancing security of wireless networks. In this paper, we specify PAP and EAP-MD5 based securit...