624 search results - page 66 / 125 » Application of Lightweight Formal Methods to Software Securi... |
108
click to vote
ISPW
2005
IEEE
15 years 5 months ago
2005
IEEE
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...
JCS
2007
14 years 11 months ago
2007
Many emerging applications in both wired and wireless networks need support of secure group communications. There have been many secure group communication schemes in the setting ...
JOC
2011
14 years 2 months ago
2011
Physical random number generators (a.k.a. TRNGs) appear to be critical components of many cryptographic systems. Yet, such building blocks are still too seldom provided with a form...
111
click to vote
COMCOM
2006
14 years 12 months ago
2006
Recent technological advances in sensors, low-power integrated circuits, and wireless communications have enabled the design of lowcost, miniature, lightweight, and intelligent ph...
IAT
2007
IEEE
15 years 6 months ago
2007
IEEE
It is only recently that rational exchange schemes have been considered as an alternative solution to the exchange problem. A rational exchange protocol cannot provide fairness bu...