123 search results - page 24 / 25 » Secure implementations of typed channel abstractions |
ICCSA
2010
Springer
14 years 9 days ago
2010
Springer
Abstract. Recently, Wireless Local Area Network (WLAN) is used by enterprises, government, and the military, as well as small office and home offices. Although it is convenient, it...
ENTCS
2007
13 years 5 months ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...
ACSC
2008
IEEE
13 years 12 months ago
2008
IEEE
Abstract— Hybrid Wireless Mesh Networks are a combination of mobile ad hoc networks and infrastructure wireless mesh networks, consisting of two types of nodes: Mobile Mesh Clien...
VEE
2009
ACM
14 years 8 days ago
2009
ACM
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
ICFEM
2009
Springer
14 years 1 days ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...