4386 search results - page 335 / 878 » A Tamper-Resistant Programming Language System |
141
Voted
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The FORCES project aims at providing robust and declarative formalisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedi...
115
Voted
MSCS
2008
15 years 3 months ago
2008
The idea of coercive subtyping, a theory of abbreviation for dependent type theories, is incorporated into the polymorphic type system in functional programming languages. The tra...
120
Voted
SCOPES
2005
Springer
15 years 9 months ago
2005
Springer
Development of network communication in a homogeneous sensor network environment is straightforward as the nodes can share message layouts simply by letting the compiler lay out m...
266
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
108
Voted
NDSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Application-level protocol analyzers are important components in tools such as intrusion detection systems, firewalls, and network monitors. Currently, protocol analyzers are wri...