Sciweavers

5511 search results - page 310 / 1103
» Security for Network Places
Sort
View
ATVA
2006
Springer
75views Hardware» more  ATVA 2006»
15 years 10 months ago
Symbolic Unfoldings for Networks of Timed Automata
In this paper we give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Extended symbolic nets are standard occurrence nets ex...
Franck Cassez, Thomas Chatain, Claude Jard
ICC
2007
IEEE
100views Communications» more  ICC 2007»
16 years 15 days ago
S.T.R.E.S.S. : Stress Testing and Reverse Engineering for System Security
— In modern wireless networks the functions included into layer II have to deal with complex problems, such as security and access control, that were previously demanded to upper...
Matteo Rosi, Leonardo Maccari, Romano Fantacci
DEXAW
2007
IEEE
199views Database» more  DEXAW 2007»
15 years 10 months ago
Dealing with Sporadic Strangers, or the (Un)Suitability of Trust for Mobile P2P Security
A number of factors, such as the increasing popularity of wireless networks, the opportunities offered by 3G services, and the rapid proliferation of mobile devices, have stimulat...
Esther Palomar, Juan M. Estévez-Tapiador, J...
IJNSEC
2006
200views more  IJNSEC 2006»
15 years 6 months ago
3G and WLAN Interworking Security: Current Status and Key
The third-generation (3G) mobile communication systems provide great coverage, complete subscriber management and nearly universal roaming. Nevertheless, 3G systems are subject to...
Chou Chen Yang, Kuan-Hao Chu, Ya-Wen Yang
HICSS
2008
IEEE
156views Biometrics» more  HICSS 2008»
16 years 19 days ago
A Centrality Measure for Electrical Networks
—We derive a measure of “electrical centrality” for AC power networks, which describes the structure of the network as a function of its electrical topology rather than its p...
Paul Hines, Seth Blumsack