12981 search results - page 235 / 2597 » Model Checking (Abstract) |
112
click to vote
ICECCS
2007
IEEE
15 years 7 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
130
click to vote
AINA
2004
IEEE
15 years 7 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...
130
Voted
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
143
Voted
AGENTCL
2003
Springer
15 years 7 months ago
2003
Springer
