1129 search results - page 74 / 226 » Formal Verification of Websites |
109
click to vote
ASIAN
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
133
click to vote
IJNSEC
2010
14 years 8 months ago
2010
One of the major threats that an enterprise Information system networks are facing today is the Insider threat. As part of the Insider Threat study, lack of an effective access co...
ICSE
1992
IEEE-ACM
15 years 6 months ago
1992
IEEE-ACM
This paper presents the tools Ald
118
click to vote
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
138
click to vote
SWS
2004
ACM
15 years 7 months ago
2004
ACM
The Platform for Privacy Preferences (P3P), developed by the W3C, provides an XML-based language for websites to encode their datacollection and data-use practices in a machine-re...