3115 search results - page 151 / 623 » Synthesizing Secure Protocols |
ASPDAC
2007
ACM
15 years 2 months ago
2007
ACM
One of the efficient design methodologies for large scale System on a Chip (SoC) is IP-based design. In this methodology, a system is considered as a set of components and intercon...
DAC
2000
ACM
15 years 11 months ago
2000
ACM
In this paper, we propose a technique to implement communication protocols as hardware circuits using a model of concurrent EFSMs with multi-way synchronization. Since use of mult...
ICWS
2004
IEEE
14 years 11 months ago
2004
IEEE
A conversation protocol is a top-down specification framework which specifies desired global behaviors of a web service composition. In our earlier work [6] we studied the problem...
MICRO
2002
IEEE
14 years 9 months ago
2002
IEEE
abstracting the operation of lower-level packet processing functions. The library synthesizes into field-programmable gate array (FPGA) logic and is utilized in a network platform ...
104
click to vote
WS
2006
ACM
15 years 4 months ago
2006
ACM
This paper presents SCUBA (Secure Code Update By Attestation), for detecting and recovering compromised nodes in sensor networks. The SCUBA protocol enables the design of a sensor...