Sciweavers

2209 search results - page 118 / 442
» Language Based Secure Communication
Sort
View
FC
2006
Springer
153views Cryptology» more  FC 2006»
15 years 8 months ago
Revisiting Oblivious Signature-Based Envelopes
Secure, anonymous and unobservable communication is becoming increasingly important due to the gradual erosion of privacy in many aspects of everyday life. This prompts the need f...
Samad Nasserian, Gene Tsudik
POPL
1998
ACM
15 years 9 months ago
From System F to Typed Assembly Language
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
J. Gregory Morrisett, David Walker, Karl Crary, Ne...
MA
1999
Springer
152views Communications» more  MA 1999»
15 years 9 months ago
An Agent-Based Infrastructure for Enterprise Integration
Jackal is a Java-based tool for communication using the KQML agent communication language. Some features that make it extremely valuable to agent development are its conversation ...
R. Scott Cost, Timothy W. Finin, Yannis Labrou, Xi...
ISCC
2005
IEEE
15 years 10 months ago
Trie-Based Policy Representations for Network Firewalls
Network firewalls remain the forefront defense for most computer systems. These critical devices filter traffic by comparing arriving packets to a list of rules, or security po...
Errin W. Fulp, Stephen J. Tarsa
POPL
2012
ACM
14 years 12 days ago
A language for automatically enforcing privacy policies
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
Jean Yang, Kuat Yessenov, Armando Solar-Lezama