1255 search results - page 78 / 251 » A Proof Environment for the Development of Group Communicati... |
SP
2009
IEEE
14 years 3 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
MUM
2004
ACM
14 years 2 months ago
2004
ACM
Within the expanding paradigm of medical imaging and wireless communications there is increasing demand for transmitting diagnostic medical imagery over error-prone wireless commu...
SIMUTOOLS
2008
13 years 10 months ago
2008
During development of new protocols and systems researchers in most cases use simulations for evaluation of their product, especially in the area of communication networks. The qu...
DAC
1998
ACM
14 years 10 months ago
1998
ACM
Increasing size and geographical separation of design data and teams has created a need for a network-based electronic design environment that is scaleable, adaptable, secure, hig...
INFOCOM
2011
IEEE
13 years 10 days ago
2011
IEEE
—Recently, there has been great interest in physical layer security techniques that exploit the randomness of wireless channels for securely extracting cryptographic keys. Severa...