1676 search results - page 207 / 336 » Formal System Development with KIV |
215
click to vote
B
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
158
click to vote
ESORICS
2010
Springer
15 years 5 months ago
2010
Springer
Formal RFID security and privacy frameworks are fundamental to the design and analysis of robust RFID systems. In this paper, we develop a new definitional framework for RFID priv...
162
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
134
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
168
click to vote
DIGITEL
2008
IEEE
15 years 11 months ago
2008
IEEE
We present progress with roBlocks, a reconfigurable modular robotic system for education. Children snap together small, magnetic, heterogeneous modules to create larger, more comp...