2421 search results - page 238 / 485 » Message from the Editor-in-Chief |
140
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
In recent research it turned out that Boolean verification of digital signatures in the context of WSSecurity is likely to fail: If parts of a SOAP message are signed and the sig...
170
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
— The need for efficient implementation of simple crossbar schedulers has increased in the recent years due to the advent of on-chip interconnection networks that require low la...
177
click to vote
IEEEARES
2010
IEEE
16 years 1 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
161
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Shifts in the culture of civic engagement, technologies and practices surrounding social media, and pressure from political leaders have ignited a movement amongst gov’t agencie...
259
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...