4731 search results - page 26 / 947 » Securing Interactive Programs |
HCI
2009
13 years 5 months ago
2009
TAPSOFT
1997
Springer
13 years 11 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
CSCWD
2008
Springer
13 years 9 months ago
2008
Springer
USENIX
1994
13 years 8 months ago
1994
SNP provides a high-level abstraction for secure end-toend network communications. It supports both stream and datagram semantics with security guarantees (e.g., data originauthen...
IEEEARES
2007
IEEE
14 years 1 months ago
2007
IEEE
Adding security functions in existing Web application servers is now vital for the IS of companies and organizations. Writing crosscutting functions in complex software should tak...