4731 search results - page 130 / 947 » Securing Interactive Programs |
PERCOM
2008
ACM
14 years 8 months ago
2008
ACM
Recent advances in peer-to-peer (P2P) technologies will enable users to establish ubiquitous connectivity among their personal networked devices and those of others. Building on t...
CSFW
2010
IEEE
14 years 9 days ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
IFIP
2009
Springer
14 years 3 months ago
2009
Springer
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...
CSFW
2007
IEEE
14 years 3 months ago
2007
IEEE
Although static systems for information flow security are well-studied, few works address run-time information flow monitoring. Run-time information flow control offers distinc...
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for sy...