2519 search results - page 124 / 504 » Reasoning with Textual Cases |
154
Voted
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
149
click to vote
FC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
140
click to vote
EXPERT
2006
15 years 4 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
157
Voted
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
Commitments provide a flexible means for specifying the business relationships among autonomous and heterogeneous agents, and lead to a natural way of enacting such relationships...
133
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
Attackers often try to evade an intrusion detection system (IDS) when launching their attacks. There have been several published studies in evasion attacks, some with available to...