2486 search results - page 130 / 498 » A Type System for Computationally Secure Information Flow |
SOCA
2007
IEEE
14 years 3 months ago
2007
IEEE
The emerging ubiquitous computing vision is characterized by decentralized and ad hoc interoperation among devices and networks for access to services. Interacting devices or grou...
IDTRUST
2010
ACM
14 years 3 months ago
2010
ACM
Public Key Infrastructure (PKI) security depends upon secure management and usage of trust anchors. Unfortunately, widely used mechanisms, management models and usage practices re...
LAWEB
2005
IEEE
14 years 2 months ago
2005
IEEE
In today’s e-commerce environment, information is an incredibly valuable asset. Surveys indicate that companies are suffering staggering financial losses due to web security iss...
ATVA
2007
Springer
14 years 28 days ago
2007
Springer
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
NSPW
2004
ACM
14 years 2 months ago
2004
ACM
Agile development methodologies are gaining acceptance in the software industry. If they are to be used for constructing securitycritical solutions, what do we do about assurance?...