2687 search results - page 70 / 538 » Formal Analysis of PKCS |
103
Voted
ISCIS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
116
Voted
MKM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...
121
click to vote
JUCS
2000
15 years 11 days ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
126
click to vote
RE
1999
Springer
15 years 4 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
108
Voted
ECSA
2010
Springer
15 years 23 days ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...