2209 search results - page 51 / 442 » Language Based Secure Communication |
102
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
149
click to vote
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
The problem of converting deterministic finite automata into (short) regular expressions is considered. It is known that the required expression size is 2(n) in the worst case for ...
ENTCS
2008
15 years 2 months ago
2008
The paper presents ConSpec, an automata based policy specification language. The language trades off clean semantics to language expressiveness; a formal semantics for the languag...
114
click to vote
CSREASAM
2006
15 years 3 months ago
2006
Multicast Security is one of the important problems to solve for the successful deployment of group communication applications, and source authentication of multicast data is a key...
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...