1123 search results - page 126 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
171
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
A communication trace is a detailed record of the communication between two entities. Communication traces are vital for research in computer networks and protocols in many domain...
138
click to vote
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
According to one common view, information security comes down to technical measures. Given better access control policy models, formal proofs of cryptographic protocols, approved ...
120
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
127
click to vote
COORDINATION
2010
Springer
15 years 7 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
133
click to vote
IANDC
2010
15 years 3 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...