Learn More
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabilities have been attributed to Web application bugs. Many verification tools are discovering previously unknown vulnerabilities in legacy C programs, raising hopes that the same(More)
As a large and complex application platform, the World Wide Web is capable of delivering a broad range of sophisticated applications. However, many Web applications go through rapid development phases with extremely short turnaround time, making it difficult to eliminate vulnerabilities. Here we analyze the design of Web application security assessment(More)
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowing both verification and assurance to occur without user intervention. Model checking techniques have relatively complexity compared to the typestate-based polynomial-time algorithm(More)
The World Wide Web has become a sophisticated platform capable of delivering a broad range of applications. However, its rapid growth has resulted in numerous security problems that current technologies cannot address. Researchers from both academic and private sector are devoting a considerable amount of resources to the development of Web application(More)
—The purpose of the study is to integrate patient trust with the Technology Acceptance Model in order to explore the usage intention model of Telecare systems. The proposed framework is validated with 365 respondents from Nantou County, which is located in Taiwan. The findings show that patient trust (social trust and institutional trust) has significantly(More)
Malic acid (MA) has been commonly used in cosmetic products, but the safety reports in skin are sparse. To investigate the biological effects of MA in human skin keratinocytes, we investigated the potential cytotoxicity and apoptotic effects of MA in human keratinocyte cell lines (HaCaT). The data showed that MA induced apoptosis based on the observations(More)