2213 search results - page 109 / 443 » Software Security |
120
click to vote
ESSOS
2010
Springer
16 years 5 days ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
102
Voted
CISIS
2009
IEEE
15 years 10 months ago
2009
IEEE
— JXTA defines a set of six core protocols specifically suited for ad hoc, pervasive, multi-hop, peer-to-peer (P2P) computing. These protocols allow peers to cooperate and form...
124
Voted
ASWEC
2006
IEEE
15 years 9 months ago
2006
IEEE
The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone network. From inspection we...
176
click to vote
FASE
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobil...
131
click to vote
TCS
2008
15 years 3 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...