2685 search results - page 468 / 537 » A Formal Semantics for SPKI |
134
click to vote
CCS
2004
ACM
15 years 11 months ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
155
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
Netcharts have been introduced recently by Mukund et al. in [17]. This new appealing approach to the specification of collections of message sequence charts (MSCs) benefits from ...
156
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
169
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
140
click to vote
ISI
2004
Springer
15 years 11 months ago
2004
Springer
Internet chatrooms are common means of interaction and communications, and they carry valuable information about formal or ad-hoc formation of groups with diverse objectives. This ...