2687 search results - page 281 / 538 » Formal Analysis of PKCS |
185
click to vote
GI
2010
Springer
15 years 4 months ago
2010
Springer
: Even though service discovery is one of the vital steps in Web service invocation, service requests are usually expressed by rather simple means. While syntax-based service descr...
167
click to vote
IANDC
2010
15 years 4 months ago
2010
The paper proposes a novel analysis of quantificational subordination, e.g. Harvey courts a woman at every convention. {She is very pretty. vs. She always comes to the banquet with...
211
click to vote
IJBIS
2010
15 years 4 months ago
2010
: The increasing intensity of global competition and the rapid advances in information technology (IT) have led organisations to search for more efficient and effective ways to man...
194
click to vote
ISQED
2011
IEEE
14 years 10 months ago
2011
IEEE
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...
214
click to vote
ACNS
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Attackers in particular botnet controllers use stealthy messaging systems to set up large-scale command and control. Understanding the capacity of such communication chan...