198 search results - page 13 / 40 » Describing Secure Interfaces with Interface Automata |
SOUPS
2010
ACM
14 years 2 months ago
2010
ACM
Policies which address security and privacy are pervasive parts of both technical and social systems, and technology to enable both organizations and individuals to create and man...
USENIX
2007
14 years 1 months ago
2007
Patches to modern operating systems, including bug fixes and security updates, and the reboots and downtime they require, cause tremendous problems for system users and administr...
IDTRUST
2009
ACM
14 years 5 months ago
2009
ACM
Mailing lists are a natural technology for supporting messaging in multi-party, cross-domain collaborative tasks. However, whenever sensitive information is exchanged on such list...
GI
2009
Springer
13 years 8 months ago
2009
Springer
: Frequently, Security Monitoring is equated with network intrusion detection. However, Security Monitoring has a much broader scope. It also comprises detection of insider attacks...
OOPSLA
2005
Springer
14 years 4 months ago
2005
Springer
This paper presents Classages, a novel interaction-centric object-oriented language. Classes and objects in Classages are fully encapsulated, with explicit interfaces for all inte...