Sciweavers

2 search results - page 1 / 1
» Inference and analysis of formal models of botnet command an...
Sort
View
CCS
2010
ACM
13 years 4 months ago
Inference and analysis of formal models of botnet command and control protocols
Chia Yuan Cho, Domagoj Babic, Eui Chul Richard Shi...
ENTCS
2006
146views more  ENTCS 2006»
13 years 4 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...