2687 search results - page 63 / 538 » Formal Analysis of PKCS |
234
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
138
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Let X and Y be finite alphabets and PXY a joint distribution over them, with PX and PY representing the marginals. For any > 0, the set of n-length sequences xn and yn that ar...
133
click to vote
ICFCA
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. In a previous ICFCA paper we have shown that, in the Description Logics EL and ELgfp, the set of general concept inclusions holding in a finite model always has a finit...
184
click to vote
AGTIVE
2007
Springer
15 years 12 months ago
2007
Springer
Communities of autonomous units are being developed for formal specification and semantic analysis of systems of interacting and mobile components. The autonomous units of a commu...
142
click to vote
RAID
2004
Springer
15 years 11 months ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...