624 search results - page 78 / 125 » Application of Lightweight Formal Methods to Software Securi... |
AIS
2004
Springer
15 years 5 months ago
2004
Springer
The paper proposes three dimensional extension to High Level ARchitecture (HLA) and Runtime Infrastructure (RTI) to solve several issues such as security, information hiding proble...
INFOVIS
1999
IEEE
15 years 4 months ago
1999
IEEE
Focus+context visualization techniques aim to give users integrated visual access to both details and overview of a data set. This paper gives a systematic account of such visuali...
113
click to vote
ALIFE
2006
14 years 12 months ago
2006
We review the applications of artificial life (ALife), the creation of synthetic life on computers to study, simulate, and understand living systems. The definition and features of...
106
click to vote
NDSS
2000
IEEE
15 years 4 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
103
click to vote
JIPS
2010
14 years 6 months ago
2010
The growing number of web applications in the global economy has made it critically important to develop secure and reliable software to support the economy's increasing depen...