1288 search results - page 26 / 258 » Securing aspect composition |
AOSD
2012
ACM
12 years 4 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
JWSR
2008
2008
DsCWeaver: Synchronization-Constraint Aspect Extension to Procedural Process Specification Languages
13 years 9 months ago
BPEL is emerging as an open-standards language for Web service composition. However, its procedural style can lead to inflexible and tangled code for managing a crosscutting aspec...
SP
2006
IEEE
14 years 3 months ago
2006
IEEE
Simulatable security is a security notion for multi-party protocols that implies strong composability features. The main definitional flavours of simulatable security are standa...
CSFW
2008
IEEE
13 years 10 months ago
2008
IEEE
The IEEE 802.11s working group is tasked to provide ways of establishing and securing a wireless mesh network. One proposal establishes a Mesh Security Architecture (MSA), with a ...
ENTCS
2006
13 years 9 months ago
2006
The maintenance of organisation is a prerequisite for all viable systems in dynamic environments. In many living systems this organisation is, in part, achieved through coordinati...