2036 search results - page 283 / 408 » A generic type-and-effect system |
133
click to vote
IFIPTCS
2010
14 years 10 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
125
click to vote
SICHERHEIT
2010
14 years 10 months ago
2010
Intrusion-tolerant replication enables the construction of systems that tolerate a finite number of malicious faults. An arbitrary number of faults can be tolerated during system ...
122
Voted
JSAC
2011
14 years 7 months ago
2011
— The growing interest in vehicular ad hoc networks (VANETs) enables decentralized traveler information systems to become more feasible and effective in Intelligent Transportatio...
124
click to vote
TMC
2010
14 years 7 months ago
2010
The integration of different wireless access technologies combined with the huge characteristic diversity of supported services in next-generation wireless systems creates a real h...
184
click to vote
HICSS
2011
IEEE
14 years 4 months ago
2011
IEEE
Although our society is critically dependent on software systems, these systems are mainly secured by protection mechanisms during operation instead of considering security issues...