332 search results - page 24 / 67 » Protocol Modelling Semantics for Embedded Systems |
POPL
2006
ACM
14 years 7 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
AAMAS
2007
Springer
13 years 7 months ago
2007
Springer
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...
WORDS
2005
IEEE
14 years 29 days ago
2005
IEEE
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
AMAST
2000
Springer
13 years 11 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
ACSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
The distributed firewall is an important new line of network defense. It provides fine-grained access control to augment the protections afforded by the traditional perimeter fire...