2685 search results - page 468 / 537 » A Formal Semantics for SPKI |
141
click to vote
CCS
2004
ACM
16 years 5 days 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 ...
166
click to vote
CONCUR
2004
Springer
16 years 5 days 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 ...
168
click to vote
CONCUR
2004
Springer
16 years 5 days 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...
185
click to vote
IFIP
2004
Springer
16 years 4 days 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...
160
click to vote
ISI
2004
Springer
16 years 4 days 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 ...