1679 search results - page 253 / 336 » Security Properties and CSP |
150
click to vote
ITNG
2008
IEEE
16 years 17 days ago
2008
IEEE
— Because of limited resources at sensor nodes, sensor networks typically adopt symmetric-key algorithms to provide security functions such as protecting communications between n...
179
click to vote
SOSE
2008
IEEE
16 years 16 days ago
2008
IEEE
This paper presents a service oriented architecture for testing Web Services. In this architecture, various parties interoperate with each other to complete testing tasks through ...
174
click to vote
TPHOL
2008
IEEE
16 years 16 days ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
157
click to vote
SEFM
2007
IEEE
16 years 13 days ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
160
click to vote
CONCUR
2007
Springer
16 years 10 days ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...